Update rpi kernel to 3.13, improve wireless patches