Re: [coreboot] [v2] r4216 - trunk/coreboot-v2/util