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