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