more elf32 loader code, plus changes to logging/startup-printing