freq value in riscv-linux/arch/riscv/kernel/time.c set to 1,800,000