Update preamble.v

These changes are used to fix the bug for the case of TRext=0 & M>0.