Index: kernel/arch/ia32/include/asm.h
===================================================================
--- kernel/arch/ia32/include/asm.h	(revision ac7f81d7ebec01bd079fe1251f6be26b48b73a44)
+++ kernel/arch/ia32/include/asm.h	(revision 7b2a7ad2d18b562e1cc4e78a77043cc16945474a)
@@ -312,4 +312,5 @@
 
 #ifndef PROCESSOR_i486
+
 /** Write to MSR */
 NO_TRACE static inline void write_msr(uint32_t msr, uint64_t value)
@@ -336,5 +337,6 @@
 	return ((uint64_t) dx << 32) | ax;
 }
-#endif
+
+#endif /* PROCESSOR_i486 */