XEN and 3rd party drivers (nvidia)