linux-4.9.41-pi-rt30

Compiled by us, experimental, requires recent raspbian.

After dpkg -i, do something like this:

pi@raspberrypi:/boot $ sudo cp kernel7.img kernel7.img.old
pi@raspberrypi:/boot $ sudo cp vmlinuz-4.9.41-rt30-v7+ kernel7.img