[SeaBIOS] [PATCH v3 2/2] bootmenu: add support for more than 9 entries