Merge pull request #18 from jean-edouard/stable-6-stubmem

STABLE-6: Bump the default stubdom memory amount to match xenmgr

Author: eric-ch

xenvm/vmconfig.ml

@@ -812,7 +812,7 @@ let empty =
 		flask_label = None;
 		cores_per_socket = None;
 		stubdom = None;
-		stubdom_memory = 64L;
+		stubdom_memory = 80L;
 		stubdom_initrd = Some "/usr/lib/xen/boot/stubdomain-initramfs";
 		stubdom_kernel = "/usr/lib/xen/boot/stubdomain-bzImage";
 		stubdom_cmdline = "init=/init xen_blkfront.max=8";