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