- In priv-1.11, mstatus.MPP is WARL, not WLRL - Fix polarity of mcounteren/scounteren - Misc. improvements unrelated to correctness