rpi: bump to kernel version 3.9.3