gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 90bcc3d38d2b1159e1b80da050f6163e5c3f575d / board / firefly / firefly-rk3288 / Kconfig