Kernel sources / headers for 2016-07-13-raspbian-jessie-bpi-m2p.img.zip image

I want to use a Technotrend CT2-4400 v2 device with the BPI-M2+ on the 2016-07-13-raspbian-jessie-bpi-m2p.img.zip image (or any other). The CT2-4400 is supported since kernel 3.19 (https://www.linuxtv.org/wiki/index.php/TechnoTrend_TT-TVStick_CT2-4400). For older kernels, support can be build by hand (https://www.linuxtv.org/wiki/index.php/How_to_Obtain,_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/make_kconfig.pl /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/make_kconfig.pl 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 https://forum.armbian.com/

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