Fixing dumping of 32 bit registers in core file.