x86: Add #ifdef CONFIG_COMPAT to <asm/sys_ia32.h>