# CONFIG_TCG_INFINEON is not set