Re: [SeaBIOS] How to boot USB 3.0 devices with SeaBIOS