[SeaBIOS] Re: [PATCH] boot: Fix logic for boot menu display

[Kevin O'Connor]

On Sun, May 24, 2020 at 05:45:34PM -0500, Matt DeVillier wrote:
> Commit c61193d3 [boot: Extend `etc/show-boot-menu`...] changed the
> logic surrounding the use of show_boot_menu incorrectly, leading the
> boot menu to be skipped by default with no way to override. Correct
> the logic error so that show_boot_menu works as documented.
>
> Test: build/boot SeaBIOS, verify boot menu option shown by default.

Thanks.  I committed this along with some additional fixes.

-Kevin