Update ps2mouse.c