rpi: revert kernel to 3.9