The RISC-V timer should only be touched by periph/timer and must not be initialized and enabled by the IRQ code. The current code can cause an unhandled interrupt when the timer is not used and the mtime register hits UINT64_MAX.
Co-authored-by: Marian Buschsieweke <marian.buschsieweke@ovgu.de>