board: stm32mp1: fixup the usb product id for USB download gadget

[oweals/u-boot.git] / board / barco / titanium / titanium.c

diff --git a/board/barco/titanium/titanium.c b/board/barco/titanium/titanium.c
index caa598d8f5cb7980b470326788974b2bfd9efcab..407bfe95ed5433bf7a443545d882fae0c63cd6af 100644 (file)
--- a/board/barco/titanium/titanium.c
+++ b/board/barco/titanium/titanium.c
@@ -1,7 +1,6 @@
+// SPDX-License-Identifier: GPL-2.0+
 /*
  * Copyright (C) 2013 Stefan Roese <sr@denx.de>
- *
- * SPDX-License-Identifier:    GPL-2.0+
  */
 
 #include <common.h>
@@ -17,7 +16,7 @@
 #include <asm/mach-imx/mxc_i2c.h>
 #include <asm/mach-imx/boot_mode.h>
 #include <mmc.h>
-#include <fsl_esdhc.h>
+#include <fsl_esdhc_imx.h>
 #include <micrel.h>
 #include <miiphy.h>
 #include <netdev.h>
@@ -216,7 +215,7 @@ int board_ehci_hcd_init(int port)
 
 #endif
 
-#ifdef CONFIG_FSL_ESDHC
+#ifdef CONFIG_FSL_ESDHC_IMX
 struct fsl_esdhc_cfg usdhc_cfg[1] = {
        { USDHC3_BASE_ADDR },
 };