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