[PATCH v2 5/5] X86: add IPI tracepoints