diff --git a/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157C-ED1/boot/extlinux/extlinux.conf b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157C-ED1/boot/extlinux/extlinux.conf
index 2c7f84f3..04f1c2d3 100644
--- a/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157C-ED1/boot/extlinux/extlinux.conf
+++ b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157C-ED1/boot/extlinux/extlinux.conf
@@ -2,5 +2,5 @@ TIMEOUT 20
 DEFAULT stm32mp15-buildroot
 LABEL stm32mp15-buildroot
   kernel /boot/uImage
-  devicetree /boot/stm32mp157c-ev1.dtb
+  devicetree /boot/stm32mp157c-ed1.dtb
   append root=/dev/mmcblk0p8 rootwait rw console=ttySTM0,115200