These counters are now used strictly for IPI/PPI interrupts. Purge
support for normal interrupts as those are now *strictly* on intr_event.
The comment at the nintrcnt computation was incorrect. Multiple
hypervisor drivers use a per-core set of interrupts, but generally only
one hypervisor driver will be loaded.