Kernel Source (4.1.19-v7+) for Mate 16.04 armhf

Support & Help Requests Raspberry Pi
4

Ok, I found out that the official raspberry kernel was used. This one:

What I’m still missing is the kernel .config file. There is not copy of it on the source, /boot nor /proc.