Fix image name for 64bit

Signed-off-by: Pascal Vizeli <pvizeli@syshack.ch>

buildroot-external/board/raspberrypi/post-image.sh

@@ -12,6 +12,13 @@ BOOT_DATA=${BINARIES_DIR}/boot
 # Filename
 IMAGE_FILE=${BINARIES_DIR}/${HASSOS_ID}_${BOARD_ID}-${VERSION_MAJOR}.${VERSION_BUILD}.img
 
+# Eval kernel name
+if [ "$BOARD_ID" == "rpi3-64" ]; then
+    KERNEL_NAME="Image"
+else
+    KENREL_NAME="zImage"
+fi
+
 # Init boot data
 rm -rf ${BOOT_DATA}
 mkdir -p ${BOOT_DATA}
@@ -39,7 +46,7 @@ echo "dwc_otg.lpm_enable=0 console=tty1" > ${BOOT_DATA}/cmdline.txt
 create_boot_image ${BINARIES_DIR}
 create_overlay_image ${BINARIES_DIR}
 create_uboot_state_image ${BINARIES_DIR}
-create_kernel_image ${BINARIES_DIR} zImage
+create_kernel_image ${BINARIES_DIR} ${KENREL_NAME}
 
 create_disk_image ${BINARIES_DIR} ${IMAGE_FILE} 2
 fix_disk_image_mbr ${IMAGE_FILE}