linuxkpi: Add cmpxchg64() in <asm/atomic.h>
Differential Revision: https://reviews.freebsd.org/D36966