litmus: correct x86 barrier