[PATCH 4/4] (RFC) X86: add IPI tracepoints