Re: [SeaBIOS] [PATCH] boot: add serial-friendly alternatives for invoking the boot menu