hikey: Allow different kernel use by TARGET_KERNEL_USE_4_1
am: 0fffcdc

* commit '0fffcdc123b3dede3925507ff473ae7ae6ccb027':
  hikey: Allow different kernel use by TARGET_KERNEL_USE_4_1