Signed-off-by: Dave Jones <davej@redhat.com>
@@ -32,7 +32,6 @@
#include <linux/sched.h>
#include <linux/cpufreq.h>
#include <linux/compiler.h>
-#include <linux/sched.h> /* current */
#include <linux/dmi.h>
#include <linux/acpi.h>