update raspi-kernel.patch