Manpages of kbdcontrol in Debian wheezy