Symbol: usb4_switch_configuration_valid