# CONFIG_TYPEC_RT1719 is not set
