This fixes BSOD happening in ntoskrnl coming from win32k under certain conditions with 3rd party display drivers (such as VBox or VMware)