diff --git a/hal/armv7a/zynq7000/zynq.c b/hal/armv7a/zynq7000/zynq.c
index 0bbcbb2cf..ae0b20d72 100644
--- a/hal/armv7a/zynq7000/zynq.c
+++ b/hal/armv7a/zynq7000/zynq.c
@@ -645,7 +645,10 @@ int hal_platformctl(void *ptr)
 			break;
 
 		case pctl_reboot:
-			zynq_softRst();
+			if (data->action == pctl_set) {
+				zynq_softRst();
+			}
+			/* TODO add boot reason for pctl_get */
 			break;
 
 		case pctl_sdwpcd: