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