[PATCH] x86: avoid wasting IRQs for PCI devices