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/424fa77d61e6c3b002ccbe00e6e641a45...
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