I got some problem with mit i7-3770k (Stock Clocked, ASRock Z77E-ITX).
When I run the generation script it gives me a SSDT that has the following P-State: 16,22,29,35,37.
Problem 1: When all 4 Cores run at full my CPU clocks at 3.7Ghz. But that should be 3.5Ghz according to Intel.
Problem 2...