[PATCH] x86: fix x86 cpuid keys used in alternative_smp()