Not actually setting COUNTER_MASK bits to zero
COUNTER_MASK
Bug on:
https://gitlab.redox-os.org/redox-os/kernel/-/blob/6f7749365826aba49e76c31029666281018d07e8/src/arch/riscv64/paging/entry.rs#L37