From c457b485cb73f1d6def76a8d0fbb4c97d1ce6f2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Marczykowski-G=C3=B3recki?=
 <marmarek@invisiblethingslab.com>
Date: Fri, 10 Apr 2015 17:56:58 +0200
Subject: [PATCH] Load xen-acpi-processor module

It is required for cpufreq to work.
---
 system-config/cpufreq-xen.modules | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/system-config/cpufreq-xen.modules b/system-config/cpufreq-xen.modules
index defac8c..689f3b2 100755
--- a/system-config/cpufreq-xen.modules
+++ b/system-config/cpufreq-xen.modules
@@ -7,6 +7,7 @@ if modinfo cpufreq-xen > /dev/null 2>&1; then
     for f in /sys/devices/system/cpu/cpu[0-9]*/cpufreq/scaling_governor; do
         echo xen > $f
     done
-
 fi
-
+if modinfo xen-acpi-processor &>/dev/null; then
+    modprobe xen-acpi-processor
+fi