Because it uses the same filename as esp32 Config.mk. (nuttx.bin)
Signed-off-by: Gustavo Henrique Nihei <gustavo.nihei@espressif.com>