Rename PORT_KBD_* to PORT_PS2_*

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