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