gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 1989374b21089c63019fc9648408c8d609023ffe / board / nvidia / p2371-0000 / Kconfig