Re: [coreboot] coreboot.org updates