Stock Kernel for pico, with my own modifications :)