stm32h7: use nvic_disable_irq_sync for usb interrupt

Change-Id: I583b860f4b1696d4be84b0bf858a8b857d891aea

firmware/target/arm/nvic-arm.h

@@ -43,6 +43,13 @@ static inline void nvic_disable_irq(int nr)
     reg_var(CM_NVIC_ICER(reg)) = BIT_N(bit);
 }
 
+static inline void nvic_disable_irq_sync(int nr)
+{
+    nvic_disable_irq(nr);
+    arm_dsb();
+    arm_isb();
+}
+
 static inline void nvic_set_pending_irq(int nr)
 {
     int reg = nr / 32;

firmware/target/arm/stm32/usb-stm32h7.c

@@ -172,8 +172,7 @@ void usb_dw_target_enable_irq(void)
 
 void usb_dw_target_disable_irq(void)
 {
-    nvic_disable_irq(IRQN_USB);
+    nvic_disable_irq_sync(IRQN_USB);
-    arm_dsb();
 }
 
 void usb_dw_target_clear_irq(void)