Thu, 10 Feb 2011 00:07:59 +0000
remove edge-sensive kbc intr handler, was breaking the keyboard stuff. also made kbd refresh at same rate as 60Hz tick.