Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision e0a4686ebb68dd7d42dd083c5ea6c37d6ced027d)
@@ -106,9 +106,9 @@
 {
 	cpu_info_t info;
-	
+
 	CPU->arch.vendor = VendorUnknown;
 	if (has_cpuid()) {
 		cpuid(INTEL_CPUID_LEVEL, &info);
-		
+
 		/*
 		 * Check for AMD processor.
@@ -119,5 +119,5 @@
 			CPU->arch.vendor = VendorAMD;
 		}
-		
+
 		/*
 		 * Check for Intel processor.
@@ -128,5 +128,5 @@
 			CPU->arch.vendor = VendorIntel;
 		}
-		
+
 		cpuid(INTEL_CPUID_STANDARD, &info);
 		CPU->arch.family = (info.cpuid_eax >> 8) & 0xf;