Re: [PATCH] xilinx: Sync CONFIG_DEFAULT_DEVICE_TREE position