Andreas Specker

Hmm.. I didn't even clone it, so that would exceed my small finding

Ok, so Issue solved, I just read their paper, not the code.

This branch + installing some headers worked https://github.com/RPi-Distro/rpi-source Many thanks @mildsunrise you are the best!