On aarch64, kernel images are named `/boot/vmlinux-<version>` rather than `/boot/vmlinuz-<version>`. This update checks which architecture we are running on and selects the appropriate kernel image format. This fixes #7697.
