Symbol: zynq_slcr_get_device_id