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