x86: replace CONFIG_X86_SMP with CONFIG_SMP