NUTTXNAME is used only as an alias for "nuttx", not actually a configuration property. Its definition might erroneously imply that the name of binary image may be configurable, which is not the case.