RE: printf works but how can I make debug() printed to serial port console?