[tip: x86/cpu] x86/Kconfig: Add cmpxchg8b support back to Geode CPUs