Use generic lowlevellock-futex.h in x86_64 lowlevellock.h.