# CONFIG_TYPEC_DP_ALTMODE is not set
