Parece que está configurado na configuração que você listou (como CONFIG_CRYPTO_AES_NI_INTEL=m , que significa configurado como um módulo), mas independente disso, é fácil construir seus próprios kernels Debian. Veja o Manual do Kernel Debian . Você quer 1.10, a versão on-line é 1.09, que está desatualizada. A única desvantagem de compilar um kernel personalizado é que você precisa reconstruir sempre que houver atualizações de segurança (e acompanhar as atualizações de segurança). As atualizações do kernel de estoque chegam automaticamente através do sistema de gerenciamento de pacotes.
O kernel-package do Manoj Srivastava também é usado para isso, mas a equipe do kernel Kernel da Debian os procedimentos descritos acima no manual para construir os kernels de estoque, por exemplo, então eu acho que é o melhor caminho a percorrer.