[coreboot] next set of patches: modify the dtc and device code to support IDs

[ron minnich]

This is the next set of changes for the dtc and device code to support
device ids.

They are minor but will make our lives easier. coreboot builds, I will
try to test tonight.

ron