[SeaBIOS] Re: [PATCH] Skip boot menu and timeout with only one boot device