Known Vulnerabilities in Xen 3.1.2