Compilar el kernel a Debian