[coreboot] r880 - coreboot-v3/include/arch/x86/amd/k8