ZYNQ_NO_RESET seems to wedge the processor

Change-Id: I7144372f564ac6ffc971eb0e9f6bbc224e9087cf