Index: /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/PlatformPei/MemDetect.c
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/PlatformPei/MemDetect.c	(revision 42420)
+++ /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/PlatformPei/MemDetect.c	(revision 42421)
@@ -135,4 +135,5 @@
     MemorySize = SIZE_64MB;
   }
+  MemorySize -= BASE_64KB; /* Reserves 64KB for ACPI tables. */
 
   //
@@ -147,9 +148,8 @@
   AddMemoryBaseSizeHob (MemoryBase, MemorySize);
   AddMemoryRangeHob (BASE_1MB, MemoryBase);
+  MtrrSetMemoryAttribute (BASE_1MB, MemoryBase + MemorySize - BASE_1MB, CacheWriteBack);
   AddMemoryRangeHob (0, BASE_512KB + BASE_128KB);
+  MtrrSetMemoryAttribute (0, BASE_512KB + BASE_128KB, CacheWriteBack);
 
-  MtrrSetMemoryAttribute (BASE_1MB, MemoryBase + MemorySize - BASE_1MB, CacheWriteBack);
-
-  MtrrSetMemoryAttribute (0, BASE_512KB + BASE_128KB, CacheWriteBack);
 
   if (UpperMemorySize != 0) {
Index: /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/PlatformPei/Platform.c
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/PlatformPei/Platform.c	(revision 42420)
+++ /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/PlatformPei/Platform.c	(revision 42421)
@@ -132,8 +132,5 @@
     );
 
-  DEBUG (
-      (EFI_D_ERROR, "ROM HOB: at 0x%llx size 0x%llx\n", MemoryBase, MemorySize)
-    );
-
+  DEBUG ((DEBUG_INFO, "ROM HOB: at 0x%llx size 0x%llx\n", MemoryBase, MemorySize));
 }
 
@@ -277,4 +274,5 @@
   //
   // Video memory + Legacy BIOS region
+  // This includes ACPI floating pointer region.
   //
   AddIoMemoryRangeHob (0x0A0000, BASE_1MB);
@@ -289,6 +287,4 @@
   ASSERT(AcpiTables != 0);
 
-  // Floating pointer page
-  AddRomMemoryBaseSizeHob(RsdPtr,      0x1000);
   // ACPI tables 64 K
   AddRomMemoryBaseSizeHob(AcpiTables, 0x10000);