Tweaking printing. Not printing full memmap. Printing halt image addr.
Getting rid of the old gdb script that dosesn't really work that well.