Hi
I was talking about uart1 that can be accessed via pin 24 and pin 26 on P9 GPIO header:
http://wiki.espressobin.net/tiki-index.php?page=ESPRESSObin+GPIO+LED+blinking
In Linux , its been supported via this patch:
https://patchwork.ozlabs.org/patch/822320/
Thanks
Amit