Announcing coreboot 4.12