[SeaBIOS] More than 9 boot devices

[Kevin O'Connor]

On Thu, Dec 29, 2016 at 12:08:04PM +0300, Аладышев Константин wrote:
> Will there be such a patch in the near future? Or this isn't in a plan right now?
> 
> Anyway, what is the right way to deal with this situation? Display letters or symbols after "9"?  Or deal with two digit numbers?

Someone would need to submit a patch to make it work.  In the mean
time, 0 should work for 10, - for 11, = for 12, tab for 13 - see the
scan_to_keycode table in kbd.c for the rest.

-Kevin