[coreboot] r788 - in coreboot-v3: device include/arch/x86/amd/k8 mainboard/amd/serengeti northbridge/amd/k8