core/linux-raspberrypi to 3.12.20-3
core/linux-raspberrypi-latest to 3.14.4-3
core/linux-boundary to 3.10.17-3
alarm/uboot-boundary to 2014.04-2