Módulo de compilação no OpenWRT: make não pode encontrar o diretório de compilação

Question

Minha configuração:

• OpenWRT 18.06.1
• Raspberry Pi 2 B
• Kernel 4.9.120

A tentativa de criar um módulo hello world kernel muito simples resulta no seguinte erro:

# make
make -C /lib/modules/4.9.120/build M=/c_programming/hellomodule modules
make[1]: *** /lib/modules/4.9.120/build: No such file or directory.  Stop.
make: *** [Makefile:6: all] Error 2

Makefile não é um problema, já que funciona bem no Ubuntu. O que eu fiz até agora:

• Eu verifiquei e o diretório está faltando.
• Verificado com opkg find '*headers*' , no entanto, não há pacotes linux-headers-<release> no Ubuntu.

Como devo proceder para realmente construir essa coisa?