diff --git a/arch/x86/timer/hpet.c b/arch/x86/timer/hpet.c
index 31e7646ca98..99756f34aae 100644
--- a/arch/x86/timer/hpet.c
+++ b/arch/x86/timer/hpet.c
@@ -82,7 +82,7 @@ extern struct nano_stack _k_command_stack;
 #define TIMER_SUPPORTS_TICKLESS
 #endif
 
-#endif /*  CONFIG_NANOKERNEL */
+#endif /*  CONFIG_MICROKERNEL */
 
 /*
  * A board support package's board.h header must provide definitions for the
diff --git a/drivers/timer/i8253.c b/drivers/timer/i8253.c
index 3d3055c2459..b148b8996ac 100644
--- a/drivers/timer/i8253.c
+++ b/drivers/timer/i8253.c
@@ -155,7 +155,7 @@ static uint32_t old_accumulated_count = 0; /* previous accumulated value value *
 
 #ifdef CONFIG_MICROKERNEL
 extern struct nano_stack _k_command_stack;
-#endif /* ! CONFIG_MICROKERNEL */
+#endif /* CONFIG_MICROKERNEL */
 
 /*******************************************************************************
 *