Habe es wie folgt gelöst:
Code:
    uart_putc (s1 >> 8 );
    uart_putc (s1 & 0xFF);
Nur noch nicht ganz den Hintergrund verstanden.
Kann das jemand bitte Erläutern?