Add support for arm64 kernels am: 5b6c918001
am: bf47af38ca

Change-Id: Ie44dd82518df55266a60a0f7e730db030bc411c5
diff --git a/scripts/extract-vmlinux b/scripts/extract-vmlinux
index 5061abc..9354943 100755
--- a/scripts/extract-vmlinux
+++ b/scripts/extract-vmlinux
@@ -44,6 +44,12 @@
 	exit 2
 fi
 
+# The kernel is an Image.gz on aarch64, so just decompress
+if [ `uname -m` = aarch64 ]; then
+   gunzip < "$1"
+   exit $?
+fi
+
 # Prepare temp files:
 tmp=$(mktemp /tmp/vmlinux-XXX)
 trap "rm -f $tmp" 0