[SeaBIOS] [PATCH] skip interactive boot menu if only one bootdevice present

[Sebastian Herbszt]

Sven Schnelle wrote:
> There's no point in presenting a menu to the user if there's
> only one option to choose from. In that case skip this menu
> to save some waiting time during boot.

The case if there's only one option to choose from might be an error
(e.g. device not detected, misconfiguration). Just skipping the menu
doesn't sound like the correct choice.

Sebastian