Index: kernel/arch/ia32/src/syscall.c
===================================================================
--- kernel/arch/ia32/src/syscall.c	(revision 8c15255808b8cb7f5be4dc66647bfc281a76c041)
+++ kernel/arch/ia32/src/syscall.c	(revision 024fcc588827e5abd7ca0adc203a018a2bb57607)
@@ -40,4 +40,5 @@
 
 #ifndef PROCESSOR_i486
+
 /** Enable & setup support for SYSENTER/SYSEXIT */
 void syscall_setup_cpu(void)
@@ -50,5 +51,6 @@
 	write_msr(IA32_MSR_SYSENTER_EIP, (uint32_t) sysenter_handler);
 }
-#endif
+
+#endif /* PROCESSOR_i486 */
 
 /** @}