[BUG] RP2040 SMP configurations broken

### Description / Steps to reproduce the issue

I am unable to boot into NSH using the SMP configuration on RP2040 devices. Testing was primarily done on a Raspberry Pi Pico W.

Steps to reproduce:

1. Checkout to almost latest master branch (abcbb1eebd).
2. `./tools/configure.sh -l raspberrypi-pico-w:smp`
3. `make -j`
4. Upload resulting UF2 to Pico W.
5. No shell appears on UART0.

I have reverted back to 9d1e7a0510 and that version of NuttX has a working SMP configuration. I plan to continue bisecting.

### On which OS does this issue occur?

[OS: Linux]

### What is the version of your OS?

Linux 6.12.10-arch1-1 #1 SMP PREEMPT_DYNAMIC x86_64 GNU/Linux

### NuttX Version

master

### Issue Architecture

[Arch: arm]

### Issue Area

[Area: Kernel]

### Host information

_No response_

### Verification

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