[coreboot] r856 - in coreboot-v3: arch/x86 lib