Move mfence into fastT.pml