Ainda não existe o Ubuntu kernel 4.0.4. Você pode obter pacotes deb kernel do kernel principal do ppa do kernel do Ubuntu ou construir um kernel principal a partir do kernel.org. / p>
Fonte do kernel estável da linha principal pode ser clonada a partir de
git: //git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
A versão de filial que você precisa pode ser clonada por
git clone --branch linux-4.0.y --single-branch git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
Você obterá 4.0.4.
Mas você precisa levar em conta, que não é debianizado. E esse patch não será aplicado imediatamente.
E o guia de criação que você encontrou também não será útil.