Downgrading from SDK >= `2.0.0` with an unsupported `PICO_BOARD` selected breaks cmake

[paulober]

Currently when having pico2 set as selected pico board the cmake configure will fail after downgrading to a SDK version that not supports this board type.