Added devicetree source for Zedboard with AMP