[SeaBIOS] [PATCH v3 0/2] boot: switch default menu key to ESC