hikey: Allow different kernel use by TARGET_KERNEL_USE_4_1

Change-Id: I6d6cdc0d0ab86f12660cf8f8107d729a78a537ef
Signed-off-by: Dmitry Shmidt <dimitrysh@google.com>
2 files changed