linux-wandboard

Xen: fix cpu_hotplug.c build by replacing is_running_on_xen() with xen_pv_domain()

Signed-off-by: Alex Nixon <alex.nixon@citrix.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>