[SeaBIOS] [PATCH] boot: boot menu up to 35 devices with letters and possible pages