On Fri, Jul 17, 2015 at 12:55:39AM +0200, Michael van Elst wrote: > Maybe this emulation can be turned off in the BIOS. Otherwise, > it's probably necessary to just remove the pckbd driver from > the kernel config.
On all machines I had trouble like this turning the (often quite hidden) option in the BIOS setup off helped. Martin
