x86, mm: trace when an IPI is about to be sent