Maybe x86 should add a flag to toggle the weaker memory model on