[PATCH V2] ARM: trace: Add tracepoint for the Inter Processor Interrupt