coincidentally enough, my patch to correct the 'Booting from' text for USB devices
(which I just updated) should address the issue you describe in the documentation patch:
 
https://github.com/MattDevo/SeaBIOS/commit/424fa77d61e6c3b002ccbe00e6e641a4599b3d6a
 
it's probably not the ideal implementation, but it was just a quick/dirty patch for me to change the boot text to eliminate user confusion
 
cheers,
Matt
 
On 9/6/2015 9:43:11 AM, "Maxime de Roucy" <maxime.deroucy@gmail.com> wrote:
 
Hello,
 
I would like to submit the patch attached, regarding the bootorder
documentation.
--
Regards
Maxime de Roucy