Re: [coreboot] kgpe-d16 and usb boot