riscv: Recognize P4D leaves when splitting the linear mapping

From: Jackie Liu liuyun01@kylinos.cn The linear mapping can contain P4D leaves on Sv57, but p4d_leaf() uses the generic definition which always returns false. Splitting a partial P4D range therefor