i have the same problem, after setting everything up with the tutorial from elinux.
Here is my output:
U-Boot 2013.10-rc3 (Jan 20 2014 -...
i have the same problem (no output on serial with those libraries) and i hope it gets fixed soon. I don't understand why it works on my normal...
Separate names with a comma.