stdout buffer lost if fflush() is not called before exiting a task

[danielinux]

looks like libc's printf should call fflush() upon task exit.

[danielinux]

seems fixed with the new scheduler