Index: boot/arch/ia64/src/main.c
===================================================================
--- boot/arch/ia64/src/main.c	(revision fedac2f6d42998b2d418219bfe3a62d4d5bc6162)
+++ boot/arch/ia64/src/main.c	(revision 1f7753ac3caad5c5c1e675848e8770f3dcb74bbe)
@@ -48,5 +48,5 @@
 
 #define DEFAULT_MEMORY_BASE		0x4000000ULL
-#define DEFAULT_MEMORY_SIZE		0x4000000ULL
+#define DEFAULT_MEMORY_SIZE		(256 * 1024 * 1024)
 #define DEFAULT_LEGACY_IO_BASE		0x00000FFFFC000000ULL
 #define DEFAULT_LEGACY_IO_SIZE		0x4000000ULL