ia64: fix domain builder

Windows on ia64 can't boot since cset 17397:61a3e041ea12.
The memory for video RAM must be added as the x86 does.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>

tools/python/xen/xend/image.py

@@ -685,7 +685,9 @@ class IA64_HVM_ImageHandler(HVMImageHandler):
         # ROM size for guest firmware, io page, xenstore page
         # buffer io page, buffer pio page and memmap info page
         extra_pages = 1024 + 5
-        return mem_kb + extra_pages * page_kb
+        mem_kb += extra_pages * page_kb
+        # Add 8 MiB overhead for QEMU's video RAM.
+        return mem_kb + 8192
 
     def getRequiredInitialReservation(self):
         return self.vm.getMemoryTarget()