Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/generic/src/cpu/cpu.c	(revision d1da1ff2de1cccc51856404f676142f7deb1cf54)
@@ -72,4 +72,6 @@
 		memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
 
+		// XXX: All kernel stacks must be aligned to STACK_SIZE,
+		//      see get_current().
 		size_t i;
 		for (i = 0; i < config.cpu_count; i++) {