diff --git a/configs/stm32f746g-disco/README.txt b/configs/stm32f746g-disco/README.txt
index 651d5aca93..29af88a71d 100644
--- a/configs/stm32f746g-disco/README.txt
+++ b/configs/stm32f746g-disco/README.txt
@@ -340,11 +340,11 @@ STM32F746G-DISCO-specific Configuration Options
     CONFIG_STM32F7_DMA2           DMA2
     CONFIG_STM32F7_ETHMAC         Ethernet MAC
     CONFIG_STM32F7_DMA2D          Chrom-ART (DMA2D)
-    CONFIG_STM32F7_USBOTGHS       USB OTG HS
+    CONFIG_STM32F7_OTGHS          USB OTG HS
 
     AHB2
     ----
-    CONFIG_STM32F7_USBOTGFS       USB OTG FS
+    CONFIG_STM32F7_OTGFS          USB OTG FS
     CONFIG_STM32F7_DCMI           DCMI
     CONFIG_STM32F7_CRYP           CRYP
     CONFIG_STM32F7_HASH           HASH
diff --git a/configs/stm32f746g-disco/include/board.h b/configs/stm32f746g-disco/include/board.h
index 9482371499..e54698e768 100644
--- a/configs/stm32f746g-disco/include/board.h
+++ b/configs/stm32f746g-disco/include/board.h
@@ -103,7 +103,7 @@
  * 2 <= PLLQ <= 15
  */
 
-#if defined(CONFIG_STM32F7_USBOTHFS)
+#if defined(CONFIG_STM32F7_OTGFS)
 /* Highest SYSCLK with USB OTG FS clock = 48 MHz
  *
  * PLL_VCO = (25,000,000 / 25) * 384 = 384 MHz