- every switch must have a default - revert formatting of unchanged lines
This ensures that the Pico SDK, too, is built in debug mode and with nice debugging symbols.