mbedmicro/mbed — pull request #677 by Sissors (2014-11-09 18:44:02+00:00)
Title: [HAL][KSDK] Fix first serial char not being sent

The K64F/K22F didn't send the first char. I don't know why exactly, but
any type of reading a status register seems to fix it. And this extra
line at least makes sense. Now it works correctly.