[PATCH 3/4] ARM64: add IPI tracepoints