am 8226f95d: Merge "Rename mipsr6 as mips32r6"

* commit '8226f95d450857358fd08319a906c83739bd5035':
  Rename mipsr6 as mips32r6