[BUG] RP23XX "Return board unique ID" feature is broken

[paolovolpi]

Description / Steps to reproduce the issue

Select any RP23XX board.
Enable Board Selection/Return board unique ID.
We have 2 problems:

1. Wrong include
   

   nuttx/boards/arm/rp23xx/common/src/rp23xx_uniqueid.c

   Line 32 in 801cd45

   #include "pico.h"

2. Fixing the include (should be rp23xx_pico.h ?) compilation fails with:
   LD: nuttx
   arm-none-eabi-ld: /home/paolo/projects/tmp/nuttx/staging/libboard.a(rp23xx_uniqueid.o): in function rom_func_lookup': undefined reference to pico_processor_state_is_nonsecure'

Just for testing I pasted the pico_processor_state_is_nonsecure function definition from the pico sdk in arch/arm/src/rp23xx/rp23xx_rom.h and everything seems to work fine.

On which OS does this issue occur?

[OS: Linux]

What is the version of your OS?

ubuntu 24.04

NuttX Version

master

Issue Architecture

[Arch: arm]

Issue Area

[Area: Board support]

Host information

No response

Verification

• I have verified before submitting the report.

[acassis]

@hujun260 @casaroli any idea about this issue?