Re: [PATCH v3 1/7] riscv: Rework riscv timer driver to only support S-mode