gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 1016f0c52647d91c871b0a0738d03e50f6968625 / board / indiedroid / nova / Kconfig