[PATCH 4.19 72/90] riscv: mm: synchronize MMU after pte change