[coreboot] r1159 - coreboot-v3/lib