partially revert "pico: remove device settings && int2ext"

This reverts commit 92abbeb59210eccd344555280c6acef642cf9cec.

We have DeviceSettings now.