core/linux-raspberrypi to 3.10.25
alarm/raspberrypi-firmware to 20131223
core/linux-raspberrypi-latest to 3.12.6