copper: Verify that the DEBUG_EN is disabled before rebooting.
diff --git a/target/copper/init.c b/target/copper/init.c
index 5bbfaca..6bbde18 100644
--- a/target/copper/init.c
+++ b/target/copper/init.c
@@ -191,6 +191,11 @@
 	 */
 	writel(readl(GCC_WDOG_DEBUG) & ~(1 << WDOG_DEBUG_DISABLE_BIT), GCC_WDOG_DEBUG);
 
+	dsb();
+
+	/* Wait until the write takes effect. */
+	while(readl(GCC_WDOG_DEBUG) & (1 << WDOG_DEBUG_DISABLE_BIT));
+
 	/* Drop PS_HOLD for MSM */
 	writel(0x00, MPM2_MPM_PS_HOLD);