diff --git a/boards/common/nucleo/Kconfig b/boards/common/nucleo/Kconfig
index 62dc8f8f61..029c99aa6c 100644
--- a/boards/common/nucleo/Kconfig
+++ b/boards/common/nucleo/Kconfig
@@ -10,7 +10,7 @@ if TEST_KCONFIG
 config MODULE_BOARDS_COMMON_NUCLEO
     bool
     default y
-    select MODULE_SAUL_GPIO if MODULE_SAUL_DEFAULT && HAS_PERIPH_GPIO
+    select HAVE_SAUL_GPIO
     help
         stm32 common nucleo code.
 
diff --git a/doc/doxygen/src/kconfig/kconfig.md b/doc/doxygen/src/kconfig/kconfig.md
index b5323cbce6..3d8fb0b3d9 100644
--- a/doc/doxygen/src/kconfig/kconfig.md
+++ b/doc/doxygen/src/kconfig/kconfig.md
@@ -475,6 +475,7 @@ reserved for the cases described below:
 | `HAS_` | Models a [feature](build-system-basics.html#features) |
 | `KCONFIG_USEMODULE_` | Used during transition to enable configuration of a module via Kconfig |
 | `KCONFIG_USEPKG_` | Used during transition to enable configuration of a package via Kconfig |
+| `HAVE_` | Models a feature not present in makefiles, will be unified in the future |
 | `USEMODULE_` | Models a [RIOT module](creating-modules.html#creating-modules). Generated from `USEMODULE` variable |
 | `USEPKG_` | Models an [external package](group__pkg.html). Generated from `USEPKG` variable |