x86-64: correct read/write barriers