kernel: fix rpi patches.