Re: [coreboot] r813 - coreboot-v3/lib