Add timer to Marin SoC model