Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision d5e5fd1214ee9617b9a936d6f09efec4c9a91b48)
@@ -84,19 +84,19 @@
 	cpu_info_t info;
 	uint32_t help = 0;
-	
+
 	CPU->arch.tss = tss_p;
 	CPU->arch.tss->iomap_base = &CPU->arch.tss->iomap[0] - ((uint8_t *) CPU->arch.tss);
-	
+
 	CPU->fpu_owner = NULL;
-	
+
 	cpuid(INTEL_CPUID_STANDARD, &info);
-	
+
 	CPU->arch.fi.word = info.cpuid_edx;
-	
+
 	if (CPU->arch.fi.bits.fxsr)
 		fpu_fxsr();
 	else
 		fpu_fsr();
-	
+
 	if (CPU->arch.fi.bits.sse) {
 		asm volatile (
@@ -108,5 +108,5 @@
 		);
 	}
-	
+
 #ifndef PROCESSOR_i486
 	if (CPU->arch.fi.bits.sep) {
@@ -132,5 +132,5 @@
 		    && (info.cpuid_edx == AMD_CPUID_EDX))
 			CPU->arch.vendor = VendorAMD;
-		
+
 		/*
 		 * Check for Intel processor.
@@ -140,5 +140,5 @@
 		    && (info.cpuid_edx == INTEL_CPUID_EDX))
 			CPU->arch.vendor = VendorIntel;
-		
+
 		cpuid(INTEL_CPUID_STANDARD, &info);
 		CPU->arch.family = (info.cpuid_eax >> 8) & 0x0fU;