Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
+++ kernel/generic/src/cpu/cpu.c	(revision edb57bc6e15358d5e60d694a899002cba9f8acd0)
@@ -71,8 +71,9 @@
 		memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
 
-		// NOTE: All kernel stacks must be aligned to STACK_SIZE,
-		//       see get_stack_base().
-		size_t i;
-		for (i = 0; i < config.cpu_count; i++) {
+		/*
+		 * NOTE: All kernel stacks must be aligned to STACK_SIZE,
+		 *       see CURRENT.
+		 */
+		for (size_t i = 0; i < config.cpu_count; i++) {
 			uintptr_t stack_phys = frame_alloc(STACK_FRAMES,
 			    FRAME_LOWMEM | FRAME_ATOMIC, STACK_SIZE - 1);