[S] Change in coreboot[main]: device/device_util: Rename dev_get_pci_domain

[Nico Huber (Code Review)]

Attention is currently required from: Arthur Heymans, Christian Walter, Johnny Lin, Jonathan Zhang, Lean Sheng Tan, Patrick Rudolph, Shuo Liu, Tim Chu.

Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/81554?usp=email )

Change subject: device/device_util: Rename dev_get_pci_domain
......................................................................

Patch Set 4:

(1 comment)

File src/device/device_util.c:

https://review.coreboot.org/c/coreboot/+/81554/comment/33012282_12ff2a61 :
PS4, Line 256: 	assert(is_pci(dev));
Missed this.