Yes, you've got everything right and I believe you have the correct generated SSDT table for your CPU. However, you may switch from standard CPU power management with AICPUPM + Clover AICPUPM patch + CPU-specific SSDT to Kernel CPUPM (XCPM) in order to run a totally CPU independant setup; it works on our Ivy Bridge E6230:
remove the SSDT files from CLOVER/ACPI/patched subfolder in Clover EFI folder
remove the dropping of DMAR + SSDT CpuPm + SSDT Cpu0Ist tables in Clover config (ACPI section)
disable AppleIntelCPUPM patch in Clover config (Kernel & Kexts Patches section)
enable KernelXCPM + KernelPm patches in Clover config (Kernel & Kexts Patches section)
update Clover r5119 but don't go higher (XCPM not working with Clover r5120 and later)