arm: xilinx: Use device tree which can be passed on cmd line