Index: /trunk/src/VBox/Devices/PC/DevFwCommon.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevFwCommon.cpp	(revision 85947)
+++ /trunk/src/VBox/Devices/PC/DevFwCommon.cpp	(revision 85948)
@@ -880,6 +880,6 @@
              * at the extended size.
              */
-            AssertLogRelMsgFailed(("DMI: RAM size %#RX64 too big for one type-17 descriptor, clipping to %#RX64\n",
-                                   cbRamSize, (uint64_t)INT16_MAX * _1M));
+            LogRel(("DMI: RAM size %#RX64 too big for one type-17 descriptor, clipping to %#RX64\n",
+                    cbRamSize, (uint64_t)INT16_MAX * _1M));
             u16RamSizeM = INT16_MAX;
             if (cbRamSize / _1M >= 0x8000000) {