Re: [SeaBIOS] [PATCHv2 0/6] Improve sdcard boot menu description