MCS locks properly disable thread migration