added notes on loading a 32bit crash dump on a 64bit machine using 32bit windbg