# CONFIG_TYPEC_MUX_WCD939X_USBSS is not set
