diff --git a/kernel/arch/i386/mpx386.S b/kernel/arch/i386/mpx386.S
index dd84ef1b9..293f1df02 100644
--- a/kernel/arch/i386/mpx386.S
+++ b/kernel/arch/i386/mpx386.S
@@ -753,8 +753,7 @@ reload_cr3:
 
 .bss
 /*
- * this stack is used temporarily for booting only. We switch to a proper kernel
- * stack after the first trap to kernel
+ * the kernel stack
  */
 .globl k_boot_stktop
 k_boot_stack: