[PATCH] riscv: Implement missing huge_ptep_get