Don't attempt to create paravirtualized devices for VMX domains for now.

diff -r b6b29a9176d9 -r ac8cae1f2c47 tools/python/xen/xend/XendDomainInfo.py
@@ -743,7 +743,8 @@
             for ctrl in self.getDeviceControllers():
                 ctrl.initController(reboot=True)
         else:
-            self.create_configured_devices()
+	    if self.image.ostype != 'vmx':
+                self.create_configured_devices()
         if not self.device_model_pid:
             self.device_model_pid = self.image.createDeviceModel()
 

@@ -915,7 +916,8 @@
         """
         self.configure_fields()
         self.create_devices()
-        self.create_blkif()
+	if self.image.ostype != 'vmx':
+            self.create_blkif()
 
     def create_blkif(self):
         """Create the block device interface (blkif) for the vm.