[Bug 792325] Xen PCI passthough of graphics card fails after patch openSUSE-2012-812