Re: [coreboot] SMM on K8