workaround: add in /boot/grub/menu.lst kernel parameter i8042.noloop