# CONFIG_TCG_VTPM_PROXY is not set