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