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

[Sebastian Herbszt]

Marc Jones wrote:
> 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>

Isn't the bootmenu also useful to check if the bios detected other boot devices?

Please check the previous discussion [1].

[1] http://www.seabios.org/pipermail/seabios/2011-April/001656.html

Sebastian