eco32: clean up thread_info.h

This removes some dead debug code, cleans up formatting a bit
and removes a hack to workaround broken gcc behaviour that have
been fixed.

Signed-off-by: Stefan Kristiansson <stefan.kristiansson@saunalahti.fi>