[Bug 657692] Xen kernel panic "Xen BUG at platform_hypercall.c:196"