rpi-firmware: update to 20130712.
kernel-rpi: update to today's code (245f716a0b7 from rpi-3.6.y).