mips32r2_common already implements timer_set so it should not be provided by periph_common/timer to avoid multiple definition errors currently hidden by the linker. The firmware was using the one from `mips32r2_common` before (binary checked). So behaviour is identical.