Você pode encontrar a imagem e os cabeçalhos do kernel 4.0 em PPA do Kernel do Ubuntu
Para sistemas de 32 bits, você precisará de i386
packages.
Mas não é recomendado instalar kernels não suportados, se você não tiver uma boa razão para fazê-lo. Você pode obter todos os tipos de problemas. Alguns drivers podem não construir, etc.