tx39uart_print
int tx39uart_print(void *, const char *);
config_attach(parent, cf, &ua, tx39uart_print, CFARGS_NONE);