[PATCH 6.13 452/499] x86/Kconfig: Add cmpxchg8b support back to Geode CPUs