The compiled RaspberryPi kernel