[SeaBIOS] [PATCH 2/2] bootmenu: also accept keypad keys