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

[Shuo Liu (Code Review)]

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

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

The change is no longer submittable: All-Comments-Resolved is unsatisfied now.

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

Patch Set 3:

(1 comment)

File src/device/device_util.c:

https://review.coreboot.org/c/coreboot/+/83644/comment/75fa5fe6_6f1aac52?usp... :
PS3, Line 269: 		printk(BIOS_ERR, "%s: doesn't have a domain device\n", dev_path(dev));
Can we use assert here since assert will not die, but there will be a more eye-catching notes for it.