pico_defconfig: sync with generated .config

Change-Id: I2f1168f56963ede0e6e26fcac291ffbf09a8fbfe