target/sdk: generate a Config.in file with the settings of the build that the SDK...