Use pci_name() rather than "(B%d,I%d,P%d)" when printing PCI IRQ
information.  Compiled but untested.
Signed-off-by: Bjorn Helgaas <bjorn.helgaas@hp.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>