Recent [pico-sdk 2.2.1](https://github.com/raspberrypi/pico-sdk/releases/tag/2.1.1) release allows specifying alternate `SYS_CLK_MHZ` values, this can be turned into a configuration option somewhere.
Recent pico-sdk 2.2.1 release allows specifying alternate
SYS_CLK_MHZvalues, this can be turned into a configuration option somewhere.