[coreboot] SMM on K8