core/linux-raspberrypi to 3.12.22-1
alarm/raspberrypi-firmware to 20140617-1