The note_interrupt() code is racy for per-CPU irqs and causes severe
performance problems due to cache-line bouncing on large SMPs.  Just don't
call it for that case.