rpi: use the latest kernel 3.9