[SeaBIOS] [PATCH] boot.c: fix 'booting' text for USB devices