[OpenBIOS] Device node naming for device_type pci?