[coreboot] Announcing coreboot 4.2