Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision db3c88347157ed2aeffe98179283d9e4e0243edd)
@@ -125,5 +125,5 @@
 
 	printf("cpu%u: %s %s (rev=%d.%d, imp=%d)\n",
-		m->id, data->vendor, data->model, m->arch.rev_num >> 4, 
+		m->id, data->vendor, data->model, m->arch.rev_num >> 4,
 		m->arch.rev_num & 0x0f, m->arch.imp_num);
 }