fix warm-start PS2 mouse initialization bug