Instalando el kernel de XanMod en Linux Debian Sid