Added some code to reset PS2 in the keyboard init method hoping to fix the timer/keyboard bug