i'm having trouble flashing a new kernel for my hikey board.
after i've finished building the kernel i followed the getting started guide,
and tried using the original boot image, as stated here
$ mkdir tmp
$ sudo mount boot-fat.uefi.img tmp
$ sudo cp YOUR-KERNEL-BUILD/arch/arm64/boot/Image tmp/Image
$ sudo cp YOUR-KERNEL-BUILD/arch/arm64/boot/dts/hi6220-hikey.dtb tmp/
$ sudo umount tmp
$ rm -rf tmp
then i flashed the boot image with fastboot but when i rebooted the board it loaded the same kernel as before.
can anyone point me to my mistake ?