Xen options need to depend on XEN.
Also, add newline at end of file.
Without this patch you need to disable CONFIG_PM in order to
disable CPU hotplugging.
Signed-off-by: Chuck Ebbert <cebbert@redhat.com>
Acked-by Jeremy Fitzhardinge <jeremy@goop.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
 
 config XEN_SAVE_RESTORE
        bool
-       depends on PM
+       depends on XEN && PM
        default y
 
 config XEN_DEBUG_FS
        default n
        help
          Enable statistics output and various tuning options in debugfs.
-         Enabling this option may incur a significant performance overhead.
\ No newline at end of file
+         Enabling this option may incur a significant performance overhead.