gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / b4746d8bf9f4ed6dc8a76c5d52db669604aff84b / include / asm-arm / arch-ks8695 / platform.h