Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision adc8a631eeee9e9aae1471731f01a21ac0e1cf9e)
@@ -105,20 +105,18 @@
 {
 	struct data_t *data;
-	int i;
+	unsigned int i;
 
 	if (m->arch.imp_num & 0x80) {
 		/* Count records */
-		for (i=0;imp_data80[i].vendor;i++)
-			;
+		for (i = 0; imp_data80[i].vendor; i++);
 		if ((m->arch.imp_num & 0x7f) >= i) {
-			printf("imp=%d\n",m->arch.imp_num);
+			printf("imp=%d\n", m->arch.imp_num);
 			return;
 		}
 		data = &imp_data80[m->arch.imp_num & 0x7f];
 	} else {
-		for (i=0;imp_data[i].vendor;i++)
-			;
+		for (i = 0; imp_data[i].vendor; i++);
 		if (m->arch.imp_num >= i) {
-			printf("imp=%d\n",m->arch.imp_num);
+			printf("imp=%d\n", m->arch.imp_num);
 			return;
 		}
@@ -128,5 +126,5 @@
 	printf("cpu%d: %s %s (rev=%d.%d, imp=%d)\n",
 		m->id, data->vendor, data->model, m->arch.rev_num >> 4, 
-	       m->arch.rev_num & 0xf, m->arch.imp_num);
+		m->arch.rev_num & 0xf, m->arch.imp_num);
 }