riscv: Improve flush_tlb_kernel_range()