it's easy - follow the instructions on the "revogirl SSDT" thread which generates one for you, with the clock speed specified up to 4.7GHz. Use a DSDT editing program to make sure it is clean and compile into an AML, and also compare it against your own system DSDT to make sure the processor references are named correctly. For example, Revogirl's script called the processors CPU0-CPU7. My DSDT called them CP00-CP07. So I changed all of the references in the SSDT to match the DSDT.