added kexec to pico_defconfig