MIPS: allow R4K clockevent device to function regardless of GIC