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