Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision b127e4afcb39cae71e775fb2c65b181edcc0429f)
@@ -109,5 +109,7 @@
 	if (m->arch.imp_num & 0x80) {
 		/* Count records */
-		for (i = 0; imp_data80[i].vendor; i++);
+		i = 0;
+		while (imp_data80[i].vendor)
+			i++;
 		if ((m->arch.imp_num & 0x7f) >= i) {
 			printf("imp=%d\n", m->arch.imp_num);
@@ -116,5 +118,7 @@
 		data = &imp_data80[m->arch.imp_num & 0x7f];
 	} else {
-		for (i = 0; imp_data[i].vendor; i++);
+		i = 0;
+		while (imp_data[i].vendor)
+			i++;
 		if (m->arch.imp_num >= i) {
 			printf("imp=%d\n", m->arch.imp_num);