x86: Optimize cmpxchg64() at build-time some more