[SeaBIOS] [PATCH v2 3/3] boot: Skip boot menu by default with only one device