[PATCH v2] riscv: andesv5: Prefer using the generic RISC-V timer driver in S-mode