Re: [SeaBIOS] [coreboot] usb boot issue