[PATCH] ARM: Remove nmi_tick() from Integrator.