ARM: 7674/1: smp: Avoid dummy clockevent being preferred over real hardware clock-event