Miniport driver now loaded from win32k