Re: [coreboot] Reducing the boot time