Because it uses the same filename as esp32 Config.mk. (nuttx.bin)
Signed-off-by: ligd <liguiding1@xiaomi.com>