bem, a árvore de compilação do kernel é a própria fonte do kernel
para obter uma "instalação", você deve:
- faça o download do kernel que você quiser no site www.kernel.org (no seu caso 3.4.0).
- extrair para / usr / src
- ln -s linux-xxxxx linux
Eu acho que você pode baixá-lo também via apt como sudo apt-get install linux-source
(se você precisar do 3.4.0 tenha certeza que seu debian tem como pacote)
Com as informações que você quer compilar seu kernel para carregá-lo em um dispositivo externo, assumirei que você quer fazer isso para um dispositivo baseado em dispositivos móveis link se não estiver, você pode facilmente adaptá-lo a outra plataforma