Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision abf6c018de8e29f417e189c669b1514cb9a75462)
+++ kernel/generic/src/main/main.c	(revision be6e37a1450dc9ae009c1198f1541fa2c80b2a0c)
@@ -171,6 +171,6 @@
 	    ALIGN_UP((uintptr_t) kdata_end - config.base, PAGE_SIZE);
 
-	// XXX: All kernel stacks must be aligned to STACK_SIZE,
-	//      see get_stack_base().
+	// NOTE: All kernel stacks must be aligned to STACK_SIZE,
+	//       see get_stack_base().
 
 	/* Place the stack after the kernel, init and ballocs. */