Index: arch/ia32/src/cpu/cpu.c
===================================================================
--- arch/ia32/src/cpu/cpu.c	(revision 76cec1e21a9510de8780a546f59799bc82003d87)
+++ arch/ia32/src/cpu/cpu.c	(revision 11485decd94f4332ebe6669f9ed7272dcef168d3)
@@ -50,4 +50,5 @@
 #define INTEL_CPUID_EDX 0x49656e69
 
+
 enum vendor {
 	VendorUnknown=0,
@@ -87,4 +88,5 @@
 	);	
 }
+