gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / badb99220a42f88bc823c884e487657bfe734a4d / board / intel / edison / Kconfig