EWL for GCC ARM is configured by default to line buffer, _IOLBF (line buffering: newline triggers automatic flush).
This can be modified at runtime through setvbuf() function.
Example:
setvbuf(stdout, NULL, _IONBF, 0); // _IONBF (direct write always used)
printf("Hello from Kinetis");
The default behavior can also be changed by rebuilding the EWL library with EWL_BUFFERED_CONSOLE turned off.