In der Theorie ja, USB-C ist USB-C. Allerdings haben wir mit Port Replicator von Dell und Lenovo auch schon die Erfahrung gemacht, dass zwar das Laden funktioniert, nicht aber die Übernahme von Funktionen wie z.B. ein- und ausschalten oder die Erkennung der Schnittstellen des Ports - von daher rate ich eher zu HP für HP.