Holy moly, these drivers are a mess.

src/main/drivers/serial_usb_vcp.h

@@ -22,7 +22,7 @@
 
 #include "drivers/serial.h"
 
-#include "vcp_hal/usbd_cdc_interface.h"
+#include "usbd_cdc.h"
 
 typedef struct {
     serialPort_t port;

src/main/vcp_hal/usbd_cdc_interface.c

@@ -48,7 +48,6 @@
 /* Includes ------------------------------------------------------------------*/
 #include "stm32f7xx_hal.h"
 #include "usbd_core.h"
-#include "usbd_def.h"
 #include "usbd_desc.h"
 #include "usbd_cdc.h"
 #include "usbd_cdc_interface.h"