Re: [coreboot] [PATCH] Add K8T800, K8T800Pro*, and K8M800* support