Como eu extraio o vmlinux de uma imagem ARM?

Question

Estou tentando extrair o vmlinux do kernel netboot do Ubuntu usado na arquitetura armhf . O script extract-vmlinux retorna

extract-vmlinux: Cannot find vmlinux.

Ele ainda falha quando tento usá-lo em um kernel x86 normal. Como posso extrair o vmlinux deste ARM vmlinuz?