core/linux-zedboard to 3.12.0-1
alarm/uboot-zedboard to 2013.10-1