[SeaBIOS] Re: [PATCH v2] bootmenu: add support for more than 9 entries