[PATCH 2/4] ARM: add IPI tracepoints