Add files for PS2 mouse interface