fc-shell tch commands: changed to raw hex file format This "backward" change is needed for two reasons: 1) to support EFR in addition to 06.10 2) to preserve the DSP status words for the downlink

#include <stdarg.h>

extern void putchar();

int
printf(char *fmt, ...)
{
	va_list ap;
	int len;

	va_start(ap, fmt);
	len = _doprnt(fmt, ap, &putchar);
	va_end(ap);
	return(len);
}