added 'ps7_dma' device (new to 3.9 devicetree)
Merge branch 'master' of github.com:cambridgehackers/zynq-boot