This is a patch to use another IRQ besides IRQ12 to fix conflicts with i8042 - PS/2 Mouse, most commonly assigned IRQ12 by the SuperIO. It took me this long to catch this because I usually use a USB mouse.
Signed-off-by: Joseph Smith joe@settoplinux.org