Re: [coreboot] How to improve the boot time of the Asus KGPE-D16?