pico_defconfig: latest regen

Change-Id: I08dc23c3d1a1fd8d89f8527ca9a4b6521cfa2380