Machine Timer Interrupt in RISC-V