Index: VBoxGuest.cpp
===================================================================
--- VBoxGuest.cpp	(revision 30537)
+++ VBoxGuest.cpp	(working copy)
@@ -259,6 +259,9 @@
     hlpRegisterBugCheckCallback(pDevExt); /* ignore failure! */
 #endif
 
+    /* VBoxGuestPower is pageable; ensure we are not called at elevated IRQL */
+    deviceObject->Flags |= DO_POWER_PAGABLE;
+
     /* Driver is ready now. */
     deviceObject->Flags &= ~DO_DEVICE_INITIALIZING;