# CONFIG_TCG_SVSM is not set
