[PATCH] i386: HIGHMEM64G must depend on X86_CMPXCHG64