Use the conventional format for PCI addresses (%04x:%02x:%02x.%d).
Signed-off-by: NBjorn Helgaas <bjorn.helgaas@hp.com>
Signed-off-by: NLen Brown <len.brown@intel.com>