[PATCH 01/11] x86/Kconfig: Geode CPU has cmpxchg8b