Beleza TecnoR, apesar do tuto no meu Blog ser para o Debian, acho que algumas informações são úteis para o Ubuntu também.
Esses kernel-hearders são para a compilação do Driver, em uma instalação do Ubuntu "limpa", você apenas instala os kernel-headers do seu processador e o Envy baixa o restante das dependências, instala e compila automaticamente, é realmente muito bom, ou você pode fazer tudo na unha, em caso de último recurso.
Abraço e até mais.