Add support for arm64 kernels
am: 5b6c918001

Change-Id: I2ef074cdd59713ce830c57a9b0f2a5c8ecab8ecc
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