Replace procqueue with Mach queue in kbd driver

Use Mach's queue interface (kernel/queue.h) in keyboard driver.
Use Mach queues for message passing IPC

Replaces old procqueue implementation.  procqueue is now fully purged
from the kernel.