mmc0: Timeout waiting for hardware interrupt でZYNQのLinuxカーネルが起動しないとき

zyboでbuild-xilteraを試したらカーネルが起動しなかった

http://qiita.com/ikwzm/items/deb43d02ac57f3f2188f

デバイスツリーを修正する

zynq-zybo.dtbを.dtsに変換

$ dtc -I dtb -O dts -o zynq-zybo.dts zynq-zybo.dtb

zynq-zybo.dts に追記

 reserved-memory {
        #address-cells = <0x1>;
        #size-cells = <0x1>;
        ranges;

        zynq-dma-unusable-area {
            reg = <0x0 0x80000>;
        };
    };

zynq-zybo.dtbに変換する

$ dtc -I dts -O dtb -o zynq-zybo.dtb zynq-zybo.dts