Eu encontrei a solução para este problema, e adicionando esta linha GRUB_CMDLINE_LINUX_DEFAULT=" i8042.direct i8042.dumbkbd " para / etc / default / grub irá funcionar, mas o ruim é que as luzes Caps Lock e NumLock no teclado estarão sempre LIGADAS ou DESLIGADAS.