Symbol: pci_boot_bus_to_dip