ARM: Xilinx: Adding Xilinx board support