BUILD_HEAD=a9c3bb11
skip cmpxchg8b (test kernel not present)