[bitfolk] Xen Security Advisory CVE-2012-0217 - 64-bit PV guest privilege escalation vulnerability