kernel: add kernel for Raspberry Pi.