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

[Kevin O'Connor]

On Fri, Dec 16, 2011 at 03:29:17PM -0700, 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>

As Sebastian points out, this came up once before.  I fear altering
the timeout dynamically will cause confusion.

It's possible to tune the timeout via cbfs, and
CONFIG_THREAD_OPTIONROMS can also "speed up" the timeout by allowing
hardware init to run in parallel with the delay.

-Kevin