Build stub hal with NDK

svn path=/trunk/; revision=16246

reactos/hal/hal/hal.c

@@ -12,15 +12,11 @@
 /* INCLUDES ******************************************************************/
 
 #include <ddk/ntddk.h>
-#include <roscfg.h>
+#include <ndk/ntndk.h>
 
-#include <internal/debug.h>
 #define NDEBUG
 #include <debug.h>
 
-typedef struct _LOADER_PARAMETER_BLOCK *PLOADER_PARAMETER_BLOCK;
-typedef struct _KD_PORT_INFORMATION *PKD_PORT_INFORMATION;
-
 /* DATA **********************************************************************/
 
 ULONG KdComPortInUse = 0;
@@ -439,7 +435,7 @@ HalRequestSoftwareInterrupt(
 VOID
 STDCALL
 HalReturnToFirmware(
-  ULONG Action)
+  FIRMWARE_REENTRY Action)
 {
   UNIMPLEMENTED;
 }