diff --git a/drivers/fxos8700/Kconfig b/drivers/fxos8700/Kconfig
index 5f2aae68ed..21d6375db6 100644
--- a/drivers/fxos8700/Kconfig
+++ b/drivers/fxos8700/Kconfig
@@ -17,7 +17,7 @@ config HAVE_FXOS8700
     bool
     select MODULE_FXOS8700 if MODULE_SAUL_DEFAULT
     help
-      Indicates that an fxos8700 accelerometer/magnetometer is present.
+        Indicates that a FXOS8700 accelerometer/magnetometer is present.
 
 menuconfig KCONFIG_USEMODULE_FXOS8700
     bool "Configure FXOS8700 driver"
diff --git a/drivers/hdc1000/Kconfig b/drivers/hdc1000/Kconfig
index 185f6b3316..7bf0c19a41 100644
--- a/drivers/hdc1000/Kconfig
+++ b/drivers/hdc1000/Kconfig
@@ -16,7 +16,7 @@ config HAVE_HDC1000
     bool
     select MODULE_HDC1000 if MODULE_SAUL_DEFAULT
     help
-      Indicates that an hdc1000 humidity and temperature sensor is present.
+        Indicates that a HDC1000 humidity and temperature sensor is present.
 
 menuconfig KCONFIG_USEMODULE_HDC1000
     bool "Configure HDC1000 driver"
diff --git a/drivers/pir/Kconfig b/drivers/pir/Kconfig
index fa7868fe47..fd43da5e80 100644
--- a/drivers/pir/Kconfig
+++ b/drivers/pir/Kconfig
@@ -13,3 +13,9 @@ config MODULE_PIR
     select MODULE_PERIPH_GPIO
     select MODULE_PERIPH_GPIO_IRQ
     select MODULE_XTIMER
+
+config HAVE_PIR
+    bool
+    select MODULE_PIR if MODULE_SAUL_DEFAULT
+    help
+        Indicates that a pir motion sensor is present.
diff --git a/drivers/pulse_counter/Kconfig b/drivers/pulse_counter/Kconfig
index 27f0422809..0209580088 100644
--- a/drivers/pulse_counter/Kconfig
+++ b/drivers/pulse_counter/Kconfig
@@ -12,3 +12,9 @@ config MODULE_PULSE_COUNTER
     depends on TEST_KCONFIG
     select MODULE_PERIPH_GPIO
     select MODULE_PERIPH_GPIO_IRQ
+
+config HAVE_PULSE_COUNTER
+    bool
+    select MODULE_PULSE_COUNTER if MODULE_SAUL_DEFAULT
+    help
+        Indicates that a pulse counter is present.