Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 4184e765ab59408223237bedd3f292c5ce4b7342)
+++ kernel/generic/src/main/kinit.c	(revision 72bcb25fd2166818d63b580efcafdf265183c0c8)
@@ -119,5 +119,5 @@
 #ifdef CONFIG_SMP
 	if (config.cpu_count > 1) {
-		unsigned int i;
+		count_t i;
 		
 		/*