diff --git a/src/kernel/core/main.c b/src/kernel/core/main.c
index 72a957d1ea..cd8e72ccce 100644
--- a/src/kernel/core/main.c
+++ b/src/kernel/core/main.c
@@ -58,6 +58,7 @@ _start(kernel_args *oldka, int cpu_num)
 	kernel_startup = true;
 
 	memcpy(&ka, oldka, sizeof(kernel_args));
+		// the passed in kernel args are in a non-allocated range of memory
 
 	smp_set_num_cpus(ka.num_cpus);