[SeaBIOS] Re: [PATCH v2 1/3] boot: Extend `etc/show-boot-menu` to configure skipping boot menu with only one device

[Kevin O'Connor]

On Tue, May 19, 2020 at 11:39:42PM +0200, Paul Menzel wrote:
> Concerns were raised, that skipping the boot menu, if only one device is
> present, might make debugging issues more difficult. So, extend the
> current runtime configuration option `etc/show-boot-menu` to enable this
> feature by setting it to 2.

Thanks.  I committed patch 1 and 2.

-Kevin