[SeaBIOS] [PATCH] Ctrl-Break support (INT 1B, etc)