Yes, that's true. It can be a pain in the ass.

Here is our repo: https://github.com/hypriot/rpi-kernel

Cheers!