core/linux-raspberrypi-latest to 3.13.3-1
alarm/raspberrypi-firmware to 20140216-1
core/linux-raspberrypi to 3.10.30-1