Si queres usar la funcion si, no esta en el W/DDK si recuerdo bien. ProcessInformation es un puntero opaco (por eso es PVOID) dependiendo de la clase que se use sera diferente, fijate en la documentacion que te deje antes.

Si te da una excepcion no controlada (BSOD) depuralo para ver EXACTAMENTE que esta pasando.

Si, para usar WinDbg necesitas 2 maquinas (y conectarlas via serial o firewire). El modulo de modo Kernel lo generas como CHECKED que es Debug y no FREE que es Release, igual esa pagina que dejaste no habla de eso exactamente sino de la version de Windows checked (es decir Debug).

Si, en VMWare por ejemplo podes crear un puerto serial virtual muy facilmente.

http://silverstr.ufies.org/lotr0/windbg-vmware.html