core/linux-raspberrypi 3.12.25-1
alarm/raspberrypi-frimware to 20140729-1