Remove duplicate prototype of statfs from stdio.h.  Belongs in sys/statfs.h only.  Note by Michael Hope

The test for data partially transferred is incorrectec: chan->xfrd != xfrlen
Should be chan->xfrd > 0

From Ronly XLN.

Increase the size of the number of bytes sent from uint16_t to uint32_t in order to avoid TCP errors with long sessions.  For exmple:

int hello_main(int argc, char *argv[])
{
   uint32_t i;
   for(i = 0; i < 65536; i++)
    {
      printf("Hello, World!!\n");
    }

  printf("press any key!!\n");
  if (getchar()=='t')
    return 0;
  else
    return 1;
}

When ran in a Telnet session, the "press any key" is not displayed because the tcp session closed unexpectedly with:

tcp_input: ERROR: conn->sndseq xx, conn->unacked xx"

This is fixed by increasing the width of conn->sent to 32-bits to prevent overflow.

From Rony XLN

OHCI:  Fix length calculation in all OHCI drivers:  CBP==0 means that the entire buffer was transferred, not that a null packet was tranaferred

In go_os_start that sets the IDLE thread stack coloration, mov does not set condition codes which are tested by the following beq.  Need to use movs instead.  Noted by David Sidrane

 kl: enable the clocks to UART1 and UART2. The previous version would cause a hard fault on startup due to the modules not being clocked.  Also drop the GPIO configuration as it's done during kl_start().  From Michael Hope.

kl: fix PWM debugging. TPM1 and TPM2 have two channels instead of six and will hard fault if you try to read the missing channels.  From Michael Hope.