diff --git a/bsp/stm32/stm32f407-atk-explorer/board/Kconfig b/bsp/stm32/stm32f407-atk-explorer/board/Kconfig
index 8aa3a6f9fa9e2e5d8545dd0d9d372e6b2c694f44..8f198ecd2fe2d423b05b0d951d336824a1f6d28a 100644
--- a/bsp/stm32/stm32f407-atk-explorer/board/Kconfig
+++ b/bsp/stm32/stm32f407-atk-explorer/board/Kconfig
@@ -45,9 +45,6 @@ menu "Onboard Peripheral Drivers"
         bool "Enable I2C EEPROM (i2c1)"
         select BSP_USING_I2C1
         default n
-
-    config PHY_USING_LAN8720A
-        bool
     
     config BSP_USING_ETH
         bool "Enable Ethernet"
@@ -75,12 +72,12 @@ menu "Onboard Peripheral Drivers"
         select RT_USING_DFS
         select RT_USING_DFS_ELMFAT
         default n
-    if BSP_USING_SDCARD
+
     config SDIO_MAX_FREQ
         int "sdio max freq"
         range 0 24000000
+        depends on BSP_USING_SDCARD
         default 1000000
-    endif
 
 endmenu