ports/raspberrypi/supervisor/port.c: #if PICO_RP2040, not #if defined(PICO_RP240)