[SeaBIOS] [patch] Skip the bootmenu if only one device is found