Re: [SeaBIOS] [SeaBIOS PATCH] usb: fix boot paths