No charging from Thunderbolt Dock

I have successfully installed Ventura on my HP EliteBook G7 (i5-10210U IGPU). I have configured basically everything you are supposed to do (Audio, USB Mapping, GPIO Mapping, CPU Power Management, File Vault, Secure Boot, Windows Multiboot, etc.), including enabling Thunderbolt HotPlug (followed the EliteMacx86 guide and wrote my own SSDT-TB3.aml).

There are two quirks, which I still need to solve, most important, the laptop doesn't charge from the TB Dock (Belkin TB3 Express Dock). When plugging in just a charger to one of the TB ports, the laptop charges, but when I plug in just the TB dock, it doesn't (the laptop charges if I additionally plug in the charger to the other TB port). In Windows I can just plug in the dock and it works like a charm (USB ports, two monitors, LAN port and charging through a single cable). Anyone knows how I could solve this?

Second quirk, but not that important: When I don't have the dock connected at boot, it is only recognized the second time I plug it in. If that get's fixed in the process, would be cool as well.