手元のボードがRaspberry Pi PicoかRaspberry Pi Pico WかRaspberry Pi Pico 2か Raspberry Pi Pico 2 Wかを確認する
まずここ。それぞれ別の箇所があるので見極めること。わたしは見事に取り違えました。
Raspberry Pi Pico W向けリリースを入手すること
Raspberry Pi Pico WとTarget Boardsに明記されてることを確認しましょう。わたしは見事に取り違えました。
2025/05/04時点で動いたLチカサンプルコード
の「Blink the on-board LED」に記載のこちら。

なお今回は、ボードがRaspberry Pi Pico Wなのに、Raspberry Pi Pico向けリリースのR2P2を入れたためCYW43がuninitialized constant CYW43(NameError)となりました。