gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / d6a01704b06b5ffe4b90366b15525389c54582ba / board / sks-kinkel / sksimx6 / Kconfig