bvbfan It's not 32 bit (name can confuse) it's needed by tlp http://manpages.ubuntu.com/manpages/precise/man8/x86_energy_perf_policy.8.html