alarm/raspberrypi-firmware to 20140109-1
core/linux-raspberrypi to 3.10.25-2