void UART_Write(int8_t *wb, uint32_t len);
This function writes the given buffer in SERCOM UART for the given length.
None