--- /usr/share/flash-kernel/functions.orig	2014-09-26 15:42:04.000000000 -0700
+++ /usr/share/flash-kernel/functions	2014-10-23 12:16:04.449964003 -0700
@@ -241,9 +241,13 @@
 	local kdesc="$2"
 	local kdata="$3"
 	local uimage="$4"
+	local compress=none
 
-	printf "Generating kernel u-boot image... " >&2
-	mkimage -A arm -O linux -T kernel -C none -a "$kaddr" -e "$kaddr" \
+	if [ $(file "$kdata" | grep -c "gzip") -eq 1 ]; then
+		compress=gzip
+	fi
+	printf "Generating kernel u-boot image (compress=$compress)... " >&2
+	mkimage -A arm -O linux -T kernel -C "$compress" -a "$kaddr" -e "$kaddr" \
 		-n "$kdesc" -d "$kdata" "$uimage" >&2 1>/dev/null
 	echo "done." >&2
 }