Xen 4.0.1 não reconhece teclado

[Rafael Braga <rafaeltelematica@gmail.com>]

Amigos da lista, estou usando o Debian Squeeze e instalei o Xen
4.0.1-2
disponível no pacote xen-linux-system-2.6.32-5-xen-amd64 via apt-get.
Quando eu dou boot no sistema usando o kernel do dom0, o teclado
simplesmente não funciona. O Xen sobe sem problemas, o mouse funciona,
somente o teclado que não. Usando outros kernels o problema não
ocorre. Como já pesquisei no google e nos arquivos da lista e não
encontrei uma solução, estou pedindo a ajuda de vcs. Instalei o xen em
um notebook Dell Inspiron 1525.

desculpem-me por eventuais replicações.