Kernel sources / headers for image

I want to use a Technotrend CT2-4400 v2 device with the BPI-M2+ on the image (or any other). The CT2-4400 is supported since kernel 3.19 ( For older kernels, support can be build by hand (,_Build_and_Install_V4L-DVB_Device_Drivers#Retrieving_and_Building.2FCompiling_the_Latest_V4L-DVB_Source_Code). However, that procedure yields an error message:

./scripts/ /lib/modules/3.4.112-sun8i/build /lib/modules/3.4.112-sun8i/build 1
Preparing to compile for kernel version 3.4.112
File not found: /lib/modules/3.4.112-sun8i/build/.config at ./scripts/ line 33, <IN> line 4.
Makefile:383: recipe for target 'allyesconfig' failed
make[1]: *** [allyesconfig] Error 2
make[1]: Leaving directory '/home/pi/media_build/v4l'
Makefile:26: recipe for target 'allyesconfig' failed
make: *** [allyesconfig] Error 2
can't select all drivers at ./build line 521

Turns out that /lib/modules/3.4.112-sun8i/build/ is a broken link to /usr/src/linux-headers-3.4.112-sun8i. Where can I get these headers from?

Or are there any plans to release an image with a newer kernel (4.x?). Currently the armbian images do not sound very encouraging, as I will need Mali support.

Have you already looked at

Thanks for the advice. The latest nightly did not even boot fully (screen remained black), I will try older ones …