Linux 3.12 for Zynq (forked from xlnx)