[SeaBIOS] [PATCH] USB boot priority