raspberrypi: bump kernel to 3.10.30