Você pode Instalar um .deb completamente 'manualmente' mas neste caso eu recomendaria contra essa abordagem: os pacotes do kernel dependem de uma certa quantidade de infraestrutura para construir o initrd apropriado para o seu sistema, e eu acho que seria muito difícil fazê-lo funcionar manualmente ...
Se você realmente quer o kernel 4.0 e não pode esperar pelo AUR apropriado, seria melhor construir um kernel a partir do código fonte do upstream.