zynq: derive DEVICE_DTS from device definition name