[SeaBIOS] [patch] Skip the bootmenu if only one device is found

[Marc Jones]

The bootmenu is only useful if there are multiple devices. We can
speed up theboot by a few seconds if there is only a single device to
try to boot from.
Signed-off-by: Marc Jones <marcj303 at gmail.com>

-- 
http://se-eng.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: skipmenu.patch
Type: text/x-patch
Size: 1142 bytes
Desc: not available
URL: <http://www.seabios.org/pipermail/seabios/attachments/20111216/922ec4df/attachment.patch>