Index: /trunk/src/VBox/VMM/HWACCM.cpp
===================================================================
--- /trunk/src/VBox/VMM/HWACCM.cpp	(revision 13163)
+++ /trunk/src/VBox/VMM/HWACCM.cpp	(revision 13164)
@@ -855,5 +855,5 @@
         /* VT-x will not allow high selector bases in v86 mode; fall back to the recompiler in that case. */
         if (   (   pCtx->csHid.u64Base > 0xfffff
-                && pCtx->csHid.u64Base != 0xffff0000)
+                && pCtx->csHid.u64Base != 0xffff0000 /* we can deal with the BIOS code as it's also mapped into the lower region. */)
             ||  pCtx->dsHid.u64Base > 0xfffff
             ||  pCtx->esHid.u64Base > 0xfffff