configs/cc3200-launchpad: I don't think that there is any reason for BINFS to be enabled in the NSH configuration.