gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 6bc9a5c92f65c1f062ee4d3761330f4fc4a0bf00 / board / indiedroid / nova / Kconfig