Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 0f269c24c315e16631a425eaa3cd97c607e98ddb)
+++ kernel/generic/src/cpu/cpu.c	(revision 11e9061d76e66036c4aba164575f6b8079a6d403)
@@ -68,5 +68,5 @@
 
 		/* initialize everything */
-		memsetb((uintptr_t) cpus, sizeof(cpu_t) * config.cpu_count, 0);
+		memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
 
 		for (i = 0; i < config.cpu_count; i++) {