Rename PORT_KBD_* to PORT_PS2_*