# CONFIG_TYPEC_MUX_PS883X is not set
