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