arc: use timer driver for ARC boards