The windbg that comes with WDK is probably 64-bit. You need to install the 32-bit WinDbg by running V:Debuggerssetup_x86.exe, where V: is your WDK disc.
The portable version does not have a command-line interface and is inteded for users that want to quickly mount an image without installing the full version.