Olá! Rodei agora com o Kernel 3.13 do kernel.org e funcionou. Instalei o 3.13 do experimental do Debian e não funcionou: Linux jumovel 3.13-trunk-686-pae #1 SMP Debian 3.13-1~exp1 (2014-01-20) i686 GNU/Linux