Ok I probably found that version. apt-cache show raspberrypi-kernel gives me raspberrypi-kernel_1.20161215-1~xenial1.0_armhf.deb sudo apt install raspberrypi-kernel-headers it then installed raspberrypi-kernel-headers armhf 1.20161215-1~xenial1.0