Cpufreq drivers not working on T480S

An update.
I have found that that Pr on git actually worked :grinning:
It was not showing the states when I followed the initial bug but when I tried
sudo xenpm get-cpufreq-para
I can now see

base [2100000] max [4200000]
scaling_driver: hwp
turbo mode : enabled

I cannot understand why but last time I checked it was stuck at base.