Sha3 uses the mod operation. Comparing MIPS and RISC-V, MIPS uses div + mfhi, while RISC-V uses rem. So let's backport mod instruction from MIPS32 R6.