[coreboot] r3439 - trunk/coreboot-v2/util/buildrom