Overclocking kernel for pico