Allow mstatus.MPP to store bad values; instead, validate on MRET