The machine.PWM* variables are not available when building for -target pico2, but are available when building for -target pico.
Is this an oversight in the rp2350 port or did I miss it? I see machine_rp2040_pwm.go, but nothing for rp2350. I would expect them to be similar, or even share code like the machine_rp2_*.go implementations.