[SeaBIOS] [PATCH 09/13] Use the extra stack for 16bit USB and PS2 keyboard/mouse commands.