Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision 44a7ee5373ccc121fce74799244a44867eed301d)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision db3c88347157ed2aeffe98179283d9e4e0243edd)
@@ -54,9 +54,9 @@
 	const char *family_str;
 	char vendor[2 * sizeof(uint64_t) + 1];
-	
+
 	memcpy(vendor, &CPU->arch.cpuid0, 8);
 	memcpy(vendor + 8, &CPU->arch.cpuid1, 8);
 	vendor[sizeof(vendor) - 1] = 0;
-	
+
 	switch (m->arch.cpuid3.family) {
 	case FAMILY_ITANIUM:
@@ -70,5 +70,5 @@
 		break;
 	}
-	
+
 	printf("cpu%d: %s (%s), archrev=%d, model=%d, revision=%d\n", CPU->id,
 	    family_str, vendor, CPU->arch.cpuid3.archrev,