Use the new settings API for pico.

Change-Id: I852d0619d0f5bcb7218d3ab266ae86d117bc95e7
2 files changed