HP's USB-c charger lock crisis explained

Trying to read through all these pages and couldn't really find a definitive answer.

For HP Elite x2 1012 G1, what adapter/dock can anyone recommend that can charge and do 4k60 Display port / Mini Display Port output at the same time? Ideally, cheap. Right?

I'm guessing something like this here will not work? It isn't that easy, right? Or is it really that simple? As it appears 1012 G1 doesn't have DRM right? So it just needs enough power if I am correct?