Sorry, you'll also have to modify the Makefile rules to do $(OBJCOPY) $*.tmp > $*.bin i.e. add the > redirect because objdump writes to stdout. I'll figure out a way of simplifying the config in pre9.
For requests or suggestions regarding this mailing list archive please write to netboot@gkminix.han.de.