diff --git a/platform/mcu/STM32F4xx/drivers/usb_vcom.c b/platform/mcu/STM32F4xx/drivers/usb_vcom.c
index bbad1407..e0eaaa74 100644
--- a/platform/mcu/STM32F4xx/drivers/usb_vcom.c
+++ b/platform/mcu/STM32F4xx/drivers/usb_vcom.c
@@ -24,6 +24,7 @@
 #include "usbd_cdc_core.h"
 #include "usbd_usr.h"
 #include "usbd_req.h"
+#include "stm32f4xx.h"
 
 #include <interfaces/delays.h>
 #include "usb_vcom.h"
diff --git a/platform/mcu/STM32F4xx/drivers/usb_vcom.h b/platform/mcu/STM32F4xx/drivers/usb_vcom.h
index b719485b..0109f2dc 100644
--- a/platform/mcu/STM32F4xx/drivers/usb_vcom.h
+++ b/platform/mcu/STM32F4xx/drivers/usb_vcom.h
@@ -20,7 +20,6 @@
 
 #include <stdint.h>
 #include <unistd.h>
-#include "stm32f4xx.h"
 
 #ifdef __cplusplus
 extern "C" {