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