[SeaBIOS] Re: [PATCH v4 1/2] add get_keystroke_full() helper