ntoskrnl.exe: Fix the name of a POOL_TYPE value.

[Francois Gouget]

Make sure it matches the DDK.
---

The type may be unknown but its name is known at least from the Windows 
2000 DDK.

 include/ddk/wdm.h |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/ddk/wdm.h b/include/ddk/wdm.h
index c68f670..f61aff5 100644
--- a/include/ddk/wdm.h
+++ b/include/ddk/wdm.h
@@ -171,7 +171,7 @@ typedef enum _POOL_TYPE {
   NonPagedPool,
   PagedPool,
   NonPagedPoolMustSucceed,
-  UnkownType,
+  DontUseThisType,
   NonPagedPoolCacheAligned,
   PagedPoolCacheAligned,
   NonPagedPoolCacheAlignedMustS,
-- 
1.7.10