# CONFIG_TYPEC_TCPCI_MAXIM is not set
