That's "easy" when all they have to do is to package https://github.com/raspberrypi/linux