Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 0f269c24c315e16631a425eaa3cd97c607e98ddb)
+++ kernel/generic/src/cpu/cpu.c	(revision f1fa26579ba194370cae465bf86b7018541bbdc2)
@@ -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++) {