We are trying to get the Cypress CY4613 HX3 USB 3.0 Shared Link Development Kit working with an Avnet UltraZed-EV Starter Kit running PetaLinux 2020.2. The UltraZed-EV SK works fine with the two other Cypress USB3 hubs, the CY4609CY4609 and CY4603CY4603. However, the CY4613CY4613 is not detected when connected to the UltraZed-EV SK. Nothing appears under lsusb or dmesg. To rule out an issue with the CY4613CY4613, it has been tested with a desktop Ubuntu system where it works fine.
What could be causing this behavior and how might we fix it? Thanks in advance.