Re: [coreboot-announce] [coreboot] Announcing coreboot 4.2