locking/x86: Use mb() around clflush()