<DE2>Modify implementation of PS2 mouse