Se você só precisa de símbolos de kernel para executar o systemtap, a maneira mais fácil é instalar o pacote dbgsym para o seu kernel, será muito menos doloroso do que recompilar o kernel inteiro por si mesmo:
Vá para Como instalar o Ubuntu símbolos de depuração do kernel .
Se não houver um pacote dbgsym correspondente, talvez seja necessário atualizar seu kernel.
Veja apt-cache search 'linux-image.*dbgsym'
para a lista atual de kernels com símbolos de depuração.