PCI, x86: Implement pcibios_alloc_irq() and pcibios_free_irq()