pico_defconfig: sync with generated .config

Change-Id: Ic04e20b0ed5161801ee05391531074522154aa6f