[PATCH] ARM: Remove nmi_tick from integrator platforms