Headers file for compile a driver for 4.4.71+

[SteMMo33]

Hi all,
I need to get the header files to compile a driver for kernel 4.4.71+
Now I have a Makefile and the result is:

root@tinkerboard:/home/amtek/LinuxDriver_V315_20180327# make
make modules -C /lib/modules/4.4.71+/build SUBDIRS=/home/amtek/LinuxDriver_V315_20180327
make[1]: *** /lib/modules/4.4.71+/build: No such file or directory. Stop.
Makefile:10: recipe for target 'all' failed
make: *** [all] Error 2

root@tinkerboard:/home/amtek/LinuxDriver_V315_20180327# ls -l /lib/modules/4.4.71+/build
lrwxrwxrwx 1 root root 69 Feb 22 2018 /lib/modules/4.4.71+/build -> /var/lib/jenkins/workspace/rockchip-rk3288-tinker-board-debian/kernel

The linked folder doesn't exist.

Please, where I can find this files?

Thanks!