gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 5c7caa95982c481cc0d6a0e9997629afb0d2ce10 / board / indiedroid / nova / Kconfig