[coreboot] [PATCH] SMM handler for K8