Rename PORT_KBD_* to PORT_PS2_*

This change is in preparation for mouse support.
4 files changed
tree: 4769a181e69587eb1d9cfabdeadd70b5aafb33dc
  1. COPYING
  2. Makefile
  3. README
  4. TODO
  5. src/
  6. tools/