Remove Timer and UART debug prints to save code space

Author: tommag

cores/arduino/stm32/timer.c

@@ -544,7 +544,7 @@ uint32_t getTimerIrq(TIM_TypeDef* tim)
 #endif
  break;
  default:
- printf("TIM: Unknown timer IRQn");
+ //printf("TIM: Unknown timer IRQn");
  break;
  }
  }
@@ -652,7 +652,7 @@ uint8_t getTimerClkSrc(TIM_TypeDef* tim)
  clkSrc = 2;
  break;
  default:
- printf("TIM: Unknown timer instance");
+ //printf("TIM: Unknown timer instance");
  break;
  }
  }
@@ -686,7 +686,7 @@ uint32_t getTimerClkFreq(TIM_TypeDef* tim)
 #endif
  default:
  case 0:
- printf("TIM: Unknown clock source");
+ //printf("TIM: Unknown clock source");
  break;
  }
 /* When TIMPRE bit of the RCC_DCKCFGR register is reset,

cores/arduino/stm32/uart.c

@@ -114,15 +114,15 @@ void uart_init(serial_t *obj)
 
  //Pins Rx/Tx must not be NP
  if(uart_rx == NP || uart_tx == NP) {
- printf("ERROR: at least one UART pin has no peripheral\n");
+ //printf("ERROR: at least one UART pin has no peripheral\n");
  return;
  }
 
  // Get the peripheral name (UART_1, UART_2, ...) from the pin and assign it to the object
  obj->uart = pinmap_merge_peripheral(uart_tx, uart_rx);
 
  if(obj->uart == NP) {
- printf("ERROR: UART pins mismatch\n");
+ //printf("ERROR: UART pins mismatch\n");
  return;
  }
  // Enable USART clock