[BUG] <Configuring for Raspberry Pi Pico W failing due to missing 'olddefconfig'>

### Description / Steps to reproduce the issue

Hi, I am a Carleton InSpace Rocket Team member and have issues configuring NuttX for my Raspberry Pi Pico W. Carleton's master branch should be up to date with NuttX master.

I am able to run make distclean with no issue, but when I try to configure usbnsh for NuttX but get the error logs below. I am a new user of NuttX so any advice would be appreciated.

$ ./tools/configure.sh -l raspberrypi-pico-w:usbnsh
Copy files
Select CONFIG_HOST_LINUX=y
Refreshing...
CP: arch/dummy/Kconfig to /home/morri/InSpace/InSpace-Nuttx/nuttx/arch/dummy/dummy_kconfig
CP: boards/dummy/Kconfig to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/dummy/dummy_kconfig
LN: platform/board to /home/morri/InSpace/InSpace-Nuttx/apps/platform/dummy
LN: include/arch to arch/arm/include
LN: include/arch/board to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/arm/rp2040/raspberrypi-pico-w/include
LN: drivers/platform to /home/morri/InSpace/InSpace-Nuttx/nuttx/drivers/dummy
LN: include/arch/chip to /home/morri/InSpace/InSpace-Nuttx/nuttx/arch/arm/include/rp2040
LN: arch/arm/src/chip to /home/morri/InSpace/InSpace-Nuttx/nuttx/arch/arm/src/rp2040
LN: arch/arm/src/board to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/arm/rp2040/raspberrypi-pico-w/../common
LN: arch/arm/src/board/board to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/arm/rp2040/raspberrypi-pico-w/src
/usr/bin/bash: line 1: olddefconfig: command not found
make: *** [tools/Unix.mk:726: olddefconfig] Error 1
ERROR: failed to refresh

and when I run make menuconfig I get these error logs:

$ make menuconfig
CP: arch/dummy/Kconfig to /home/morri/InSpace/InSpace-Nuttx/nuttx/arch/dummy/dummy_kconfig
CP: boards/dummy/Kconfig to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/dummy/dummy_kconfig
LN: platform/board to /home/morri/InSpace/InSpace-Nuttx/apps/platform/dummy
LN: include/arch to arch/arm/include
LN: include/arch/board to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/arm/rp2040/raspberrypi-pico-w/include
LN: drivers/platform to /home/morri/InSpace/InSpace-Nuttx/nuttx/drivers/dummy
LN: include/arch/chip to /home/morri/InSpace/InSpace-Nuttx/nuttx/arch/arm/include/rp2040
LN: arch/arm/src/chip to /home/morri/InSpace/InSpace-Nuttx/nuttx/arch/arm/src/rp2040
LN: arch/arm/src/board to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/arm/rp2040/raspberrypi-pico-w/../common
LN: arch/arm/src/board/board to /home/morri/InSpace/InSpace-Nuttx/nuttx/boards/arm/rp2040/raspberrypi-pico-w/src
/home/morri/.local/bin/menuconfig: /home/morri/InSpace/InSpace-Nuttx/apps/examples/Kconfig:67: '/home/morri/InSpace/InSpace-Nuttx/apps/examples/hello_rust/Kconfig' not found (in 'source "/home/morri/InSpace/InSpace-Nuttx/apps/examples/hello_rust/Kconfig"'). Check that environment variables are set correctly (e.g. $srctree, which is unset or blank). Also note that unset environment variables expand to the empty string.
make: *** [tools/Unix.mk:731: menuconfig] Error 1

### On which OS does this issue occur?

[OS: Linux]

### What is the version of your OS?

5.15.167.4-microsoft-standard-WSL2 #1 SMP Tue Nov 5 00:21:55 UTC 2024 x86_64 x86_64 x86_64 GNU/Linux

### NuttX Version

master (abcbb1eebd2c7186e2f0e5683eec490b905b49c0)

### Issue Architecture

[Arch: arm]

### Issue Area

[Area: Build System]

### Host information

_No response_

### Verification

- [x] I have verified before submitting the report.