[S] Change in coreboot[main]: device: introduce and use dev_get_domain_id

[Felix Held (Code Review)]

Attention is currently required from: Arthur Heymans, Christian Walter, Fred Reitberger, Jason Glenesk, Johnny Lin, Jonathan Zhang, Lean Sheng Tan, Martin L Roth, Matt DeVillier, Patrick Rudolph, Shuo Liu, Tim Chu, Varshit Pandya.

Felix Held has posted comments on this change by Felix Held. ( https://review.coreboot.org/c/coreboot/+/83644?usp=email )

Change subject: device: introduce and use dev_get_domain_id
......................................................................

Patch Set 4:

(1 comment)

File src/device/device_util.c:

https://review.coreboot.org/c/coreboot/+/83644/comment/dfc1ca45_2dbf4b90?usp... :
PS3, Line 269: 		printk(BIOS_ERR, "%s: doesn't have a domain device\n", dev_path(dev));
> i like that idea; will update the patch later today

added an assert before this check since i can't print the device path in the assert statement. sure, it's sort-of duplicate, but haven't seen a substantially better way to do this