fix raspi3 arm64 build

boards/raspberry-pi3.sh

@@ -99,7 +99,8 @@ build_kernel_arm64() {
 	sudo cp -rf  $R/tmp/kernels/$device_name/${device_name}-firmware/boot/* $strapdir/boot/
 
 	pushd $R/tmp/kernels/$device_name/${device_name}-linux
-		sudo perl scripts/mkknlimg --dtok arch/arm64/boot/Image.gz $strapdir/boot/kernel8.img
+	#	sudo perl scripts/mkknlimg --dtok arch/arm64/boot/Image.gz $strapdir/boot/kernel8.img
+		sudo cp arch/arm64/boot/Image                 $strapdir/boot/kernel8.img
 		sudo cp arch/arm64/boot/dts/broadcom/bcm*.dtb $strapdir/boot/
 		sudo cp arch/arm64/boot/dts/overlays/*.dtbo   $strapdir/boot/overlays/
 		sudo cp arch/arm64/boot/dts/overlays/README   $strapdir/boot/overlays/

extra/raspi3/boot/config.txt

@@ -6,3 +6,6 @@ dtparam=audio=on
 
 ## maximum amps on usb ports
 max_usb_current=1
+
+## kernel
+kernel=kernel8.img