[coreboot] [v2] r4646 - in trunk/coreboot-v2/src: arch/i386/lib devices include/device