--- a/xen/include/public/hvm/e820.h	2013-03-18 20:51:35.041510239 +0100
+++ b/xen/include/public/hvm/e820.h	2013-03-16 18:00:28.166371180 +0100
@@ -27,7 +27,7 @@
 #define HVM_E820_NR_OFFSET   0x000001E8
 #define HVM_E820_OFFSET      0x000002D0
 
-#define HVM_BELOW_4G_RAM_END        0xF0000000
+#define HVM_BELOW_4G_RAM_END        0xE0000000
 #define HVM_BELOW_4G_MMIO_START     HVM_BELOW_4G_RAM_END
 #define HVM_BELOW_4G_MMIO_LENGTH    ((1ULL << 32) - HVM_BELOW_4G_MMIO_START)