[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