What are you using in terms of power management? I'm using 13,3 SMBIOS, PluginType from Clover and One Key CpuFriend. With only SMBIOS and PluginType my system idles at around 4W and never drops below 1,1GHz. With added CpuFriend it idles at around 2,6W and gets down to 800MHz.