[coreboot] r599 - in coreboot-v3: arch/x86 device include lib