[coreboot] [v2] r4462 - trunk/coreboot-v2/src/include/device