updated device trees

conf/machine/boards/microzed/microzed.dts

@@ -62,7 +62,7 @@
 	} ;
 	ps7_ddr_0: memory@0 {
 		device_type = "memory";
-		reg = <0x0 0x20000000>;
+		reg = <0x0 0x40000000>;
 	} ;
 	ps7_axi_interconnect_0: amba@0 {
 		#address-cells = <1>;
@@ -245,7 +245,7 @@
 			reg = <0xf8f00620 0xe0>;
 		} ;
 		ps7_sd_0: ps7-sdio@e0100000 {
-			clock-frequency = <50000000>;
+			clock-frequency = <0x7735940>;
 			clock-names = "ref_clk", "aper_clk";
 			clocks = <&clkc 21>, <&clkc 32>;
 			compatible = "xlnx,ps7-sdio-1.00.a", "generic-sdhci", "arasan,sdhci";
@@ -255,6 +255,7 @@
 			xlnx,has-cd = <0x1>;
 			xlnx,has-power = <0x0>;
 			xlnx,has-wp = <0x1>;
+			xlnx,sdio-clk-freq-hz = <0x3f93e10>;
 		} ;
 		ps7_slcr_0: ps7-slcr@f8000000 {
 			compatible = "xlnx,ps7-slcr-1.00.a", "xlnx,zynq-slcr";