[PATCH 4/4] Initial support for Nuttx on TI Calypso platform