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