[coreboot] r832 - coreboot-v3/lib