[coreboot] [v2] r4271 - in trunk/coreboot-v2/src: devices include/device