tree 1ef03018a0f9acc023f9addef7bcc221763540e4
parent 7a8aba2c11dcdd03659fbd9c7df16125e3d5a2da
parent 60380208315e8f40c72c097377688dfb9dc54325
author Dmitry Shmidt <dimitrysh@google.com> 1458771584 +0000
committer android-build-merger <android-build-merger@google.com> 1458771584 +0000

hikey: Allow different kernel use by TARGET_KERNEL_USE_4_1
am: 6038020

* commit '60380208315e8f40c72c097377688dfb9dc54325':
  hikey: Allow different kernel use by TARGET_KERNEL_USE_4_1