[coreboot] Re: Announcing coreboot 4.13