[coreboot] #115: Enhance debug printk for pci_device

[coreboot]

#115: Enhance debug printk for pci_device
---------------------------------------------------------+------------------
   Reporter:  Vincent Legoll   |          Owner:  somebody
       Type:  enhancement                                |         Status:  new     
   Priority:  trivial                                    |      Milestone:          
  Component:  adlo                                       |        Version:  v2      
   Keywords:                                             |   Dependencies:          
Patchstatus:  patch needs review                         |  
---------------------------------------------------------+------------------
 Use dev_path() to have nice debug output

patch is run-time tested