Thank you for reporting this bug. And thanks to toledo for letting us know. All should be fine now with version 3.5 so please give it a try.
p.s. It is impossible for us to test every single configuration, but when something like this comes up, we'll do our best and try to fix it a.s.a.p.
Thank you for give us this great tool, this is the output now:
sdtPRGen.sh v3.5 Copyright (c) 2013 by Pike R. Alpha
-----------------------------------------------------
Ivy Bridge Core i5-3317U processor installed
Using a maximum TDP of 17 Watt, as specified by Intel
Warning: Low Frequency Mode is 0 (unknown)
Now using 1200 MHz for Mobile processor
4 logical CPU's detected with a Core Frequency of 1700 MHz
Number of Turbo States: 9 (1800-2600 MHz)
Number of P-States: 15 (1200-2600 MHz)
Adjusting C-States for detected (mobile) processor
Injected C-States for CPU0 (C1,C3,C6,C7)
Injected C-States for CPU1 (C1,C2,C3)
Warning: 'cpu-type' may be set improperly (0x0601 instead of 0x0701)
Is ok?