x86: CONFIG_X86_ELAN fix