diff --git a/drivers/ethernet/Kconfig.native_posix b/drivers/ethernet/Kconfig.native_posix
index 84e98985778..aaeba8348dd 100644
--- a/drivers/ethernet/Kconfig.native_posix
+++ b/drivers/ethernet/Kconfig.native_posix
@@ -108,4 +108,4 @@ config	ETH_NATIVE_POSIX_MAC_ADDR
 
 endif
 
-endif
+endif # ETH_NATIVE_POSIX
diff --git a/kernel/Kconfig b/kernel/Kconfig
index 33643673ebf..6463d9e38de 100644
--- a/kernel/Kconfig
+++ b/kernel/Kconfig
@@ -686,6 +686,8 @@ config MP_NUM_CPUS
 endmenu
 
 config TICKLESS_IDLE
+	# NB: This option is deprecated, see TICKLESS_KERNEL and
+	# https://github.com/zephyrproject-rtos/zephyr/pull/12234
 	bool "Tickless idle"
 	default y if SYS_POWER_MANAGEMENT || TICKLESS_CAPABLE
 	help
@@ -709,8 +711,7 @@ config TICKLESS_KERNEL
 	default y if TICKLESS_CAPABLE
 	help
 	  This option enables a fully event driven kernel. Periodic system
-	  clock interrupt generation would be stopped at all times. This option
-	  requires Tickless Idle option to be enabled.
+	  clock interrupt generation would be stopped at all times.
 
 source "kernel/Kconfig.power_mgmt"