Re: [coreboot] Announcing coreboot 4.2