Trivial build fix for the debug code in drivers PCI.  Seems like nobody
has had to use this code in a long time.