repair kbin, kbmap man pages after conversion to devpckb.c
also explictly note that the scan codes are from the intel i8042.

Reference: /n/atom/patch/applied/kbman
Date: Sun Oct  4 02:27:02 CES 2015
Signed-off-by: quanstro@quanstro.net

--- /sys/man/3/kbmap	Sun Oct  4 02:26:33 2015
+++ /sys/man/3/kbmap	Sun Oct  4 02:26:34 2015
@@ -14,9 +14,10 @@
 device serves a one-level directory containing a single file,
 .BR kbmap ,
 representing the kernel's mapping of
-keyboard scan codes to Unicode characters
+Intel i8042 keyboard scan codes to Unicode characters
 (see
-.IR cons (3)
+.IR cons (3),
+.IR kbin (3),
 and
 .IR keyboard (6)).
 .PP
@@ -62,9 +63,12 @@
 These maps are useful on laptops without three-button mice.
 .SH "SEE ALSO"
 .IR cons (3),
+.IR kbin (3),
 .IR keyboard (6),
 .IR utf (6)
 .SH FILES
 .B /sys/lib/kbmap/*
 .SH SOURCE
-.B /sys/src/9/port/devkbmap.c
+.B /sys/src/9/port/devpckb.c
+.br
+.B /sys/src/nix/port/devpckb.c
--- /sys/man/3/kbin	Sun Oct  4 02:26:36 2015
+++ /sys/man/3/kbin	Sun Oct  4 02:26:37 2015
@@ -10,14 +10,15 @@
 .SH DESCRIPTION
 The
 .I kbin
-device is a PC driver that
+device is a driver that
 serves a one-level directory containing a single file,
 .BR kbin ,
 which can be used to send
-keyboard scan codes to the kernel.
+Intel i8042 keyboard scan codes to the kernel, and is
+used by i8042 keyboard drivers.
 .PP
 .I Kbin
-is necessary for
+is also necessary for
 .IR usb (4)
 drivers that handle keyboards.
 Keyboard input
@@ -31,8 +32,9 @@
 .SH "SEE ALSO"
 .IR cons (3),
 .IR kbmap (3),
-.IR keyboard (6)
+.IR keyboard (6),
+.IR usb (4)
 .SH SOURCE
-.B /sys/src/9/port/devkbin.c
+.B /sys/src/9/port/devpckb.c
 .br
-.B /sys/src/nix/port/devkbin.c
+.B /sys/src/nix/port/devpckb.c