Add kernel for the rpi