diff --git a/bsp/stm32f4xx-HAL/Kconfig b/bsp/stm32f4xx-HAL/Kconfig
index ee749b6f441b7f8c84d8132565f1d59b01529297..ca66286f5017406dbca8962dd34363fc8fe2977d 100644
--- a/bsp/stm32f4xx-HAL/Kconfig
+++ b/bsp/stm32f4xx-HAL/Kconfig
@@ -21,7 +21,7 @@ source "$PKGS_DIR/Kconfig"
 
 choice
     prompt "Device type"
-    default STM32F401RC
+    default SOC_STM32F401RC
     config SOC_STM32F405RG
         bool "STM32F405RG"
     config SOC_STM32F405VG