x86_64/nexus: Per-cpu IRQ rman