Re: [SeaBIOS] [PATCH v3 1/2] boot.c: delay exiting boot if menu key is ESC