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

[Kevin O'Connor]

On Wed, Apr 22, 2020 at 09:19:36PM +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` by enabling
> this feature by setting it to 2.
>
> Fixes: 29ee1fb8 ("Skip boot menu and timeout with only one boot device")
> Signed-off-by: Paul Menzel

Thanks.  Patches 1 and 2 look good to me.  FWIW, I don't agree with
patch 3.  When bringup up a board for the first time I think it is
helpful to get the menu unconditionally - it lets the user know
SeaBIOS, at least, is working.

Cheers,
-Kevin