# CONFIG_TYPEC_UCSI is not set
