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