[SeaBIOS] [PATCH] ps2: disable the keyboard and mouse before flushing the queue