From b2efe0138ea23e1f9d2e4b5b622f0863c239ca6d Mon Sep 17 00:00:00 2001
From: Josh Boyer <jwboyer@redhat.com>
Date: Oct 11 2011 12:45:59 +0000
Subject: Disable Xen balloon memory hotplug support (rhbz 744408)


---

diff --git a/config-x86_64-generic b/config-x86_64-generic
index 15277d7..6471029 100644
--- a/config-x86_64-generic
+++ b/config-x86_64-generic
@@ -80,7 +80,7 @@ CONFIG_SGI_GRU=m
 # CONFIG_VIDEO_CAFE_CCIC is not set
 
 CONFIG_XEN_MAX_DOMAIN_MEMORY=32
-CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
+# CONFIG_XEN_BALLOON_MEMORY_HOTPLUG is not set
 CONFIG_XEN_DEV_EVTCHN=m
 CONFIG_XEN_SYS_HYPERVISOR=y
 
diff --git a/kernel.spec b/kernel.spec
index 445f153..f9387e9 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -51,7 +51,7 @@ Summary: The Linux kernel
 # For non-released -rc kernels, this will be prepended with "0.", so
 # for example a 3 here will become 0.3
 #
-%global baserelease 1
+%global baserelease 2
 %global fedora_build %{baserelease}
 
 # base_sublevel is the kernel version we're starting with and patching
@@ -2059,6 +2059,9 @@ fi
 #                 ||----w |
 #                 ||     ||
 %changelog
+* Tue Oct 11 2011 Josh Boyer <jwboyer@redhat.com>
+- Disable CONFIG_XEN_BALLOON_MEMORY_HOTPLUG (rhbz 744408)
+
 * Thu Oct 06 2011 Josh Boyer <jwboyer@redhat.com>
 - Add patch to fix base frequency check for Ricoh e823 devices (rhbz 722509)