The GMKtec EVO X1, Aoostar AG03, and RTX 5080 won't connect via OCuLink.

Currently, the OCuLink isn't working at all, and the fan won't even spin. As for USB4, the fan spins, but it's not recognized in Device Manager. I updated to the latest BIOS version—it said it had an eGPU-related update, but I don't see anything particularly different or new in the settings. The AG03 works fine with my ROG Ally X, so I can't be sure about OCuLink, but I'm certain USB4 isn't broken. What I'm going to try next is downloading the driver from SDIO to update it. Also, I heard that pressing Alt + F5 in the BIOS enters a hidden menu, but it doesn't respond for me.