Index: /trunk/src/VBox/VMM/VMMR3/PGMSavedState.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PGMSavedState.cpp	(revision 37109)
+++ /trunk/src/VBox/VMM/VMMR3/PGMSavedState.cpp	(revision 37110)
@@ -2220,7 +2220,10 @@
     AssertLogRelMsgReturn(   PGM_PAGE_GET_TYPE(pPage) == uType
                           || uType == PGMPAGETYPE_INVALID
-                          || (   uType == PGMPAGETYPE_ROM /* kudge for the expanded PXE bios (r67885) - #5687. */
+                          /* kudge for the expanded PXE bios (r67885) - #5687: */
+                          || (   uType == PGMPAGETYPE_RAM
                               && GCPhys >= 0xed000
-                              && GCPhys <= 0xeffff),
+                              && GCPhys <= 0xeffff
+                              && PGM_PAGE_GET_TYPE(pPage) == PGMPAGETYPE_ROM)
+                          ,
                           ("pPage=%R[pgmpage] GCPhys=%#x %s\n", pPage, GCPhys, pRam->pszDesc),
                           VERR_SSM_UNEXPECTED_DATA);