debug information would be useful only for an arduino simulator that would use the elf instead of the hex. Am I right ?
Theoretically, a "live" debugger cam get both binary and debugging info from the .elf file, or assume that the .jex file and .elf file match. I'm pretty sure that the Atmel debuggers actually do that...