[SeaBIOS] bug: boot menu items 10+ cannot be selected