Because it uses the same filename as esp32 Config.mk. (nuttx.bin)
This file got merged just before merging the patch that removes this config from the kernel, this cleans it up