# CONFIG_TYPEC_TCPCI is not set
