drivers/tmp00x/kconfig: rework modelling

drivers/tmp00x/Kconfig

@@ -6,30 +6,45 @@
 # directory for more details.
 #
 
-if TEST_KCONFIG
+menuconfig MODULE_TMP00X
-
-choice
-    bool "TMP006/TMP007 Infrared Thermopile sensors"
-    optional
-    depends on HAS_PERIPH_I2C
-
-config MODULE_TMP006
-    bool "TMP006"
-    select MODULE_TMP00X
-
-config MODULE_TMP007
-    bool "TMP007"
-    select MODULE_TMP00X
-
-endchoice
-
-config MODULE_TMP00X
     bool
+    prompt "TMP006/TMP007 Infrared Thermopile sensors" if !(HAVE_TMP00X && MODULE_SAUL_DEFAULT)
+    default y if (HAVE_TMP00X && MODULE_SAUL_DEFAULT)
+    depends on TEST_KCONFIG
     depends on HAS_PERIPH_I2C
     select MODULE_PERIPH_I2C
     select MODULE_XTIMER
 
-endif # TEST_KCONFIG
+choice
+    bool "Sensor variant"
+    default MODULE_TMP006 if HAVE_TMP006
+    default MODULE_TMP007 if HAVE_TMP007
+    depends on MODULE_TMP00X
+
+config MODULE_TMP006
+    bool "TMP006"
+
+config MODULE_TMP007
+    bool "TMP007"
+
+endchoice
+
+config HAVE_TMP006
+    bool
+    select HAVE_TMP00X
+    help
+      Indicates that a tmp006 infrared sensor is present.
+
+config HAVE_TMP007
+    bool
+    select HAVE_TMP00X
+    help
+      Indicates that a tmp007 infrared sensor is present.
+
+config HAVE_TMP00X
+    bool
+    help
+      Indicates that a tmp00x infrared sensor is present.
 
 menuconfig KCONFIG_USEMODULE_TMP00X
     bool "Configure TMP00X driver"

tests/driver_tmp00x/app.config.test

@@ -1,4 +1,5 @@
 # this file enables modules defined in Kconfig. Do not use this file for
 # application configuration. This is only needed during migration.
+CONFIG_MODULE_TMP00X=y
 CONFIG_MODULE_TMP006=y
 CONFIG_MODULE_XTIMER=y