Created attachment 633995 [details] cpuinfo_pk.txt where setpci-command gives 00400010 # setpci -s 18.3 0x188.l 00400010 # cat /proc/cpuinfo > /tmp/cpuinfo_pk.txt