Re: [coreboot] Fast booting: coreboot versus optimized UEFI