From b6878e0a140c4f44b2fc5f10884b2af00c00244e Mon Sep 17 00:00:00 2001
From: Stephan Raue <stephan@openelec.tv>
Date: Sun, 3 Jun 2012 04:29:55 +0200
Subject: [PATCH] scripts/image: use gzip compressed kernel for RPi, saves
 another 5MB

Signed-off-by: Stephan Raue <stephan@openelec.tv>
---
 scripts/image | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/image b/scripts/image
index 255a61c6cd..0b125a474c 100755
--- a/scripts/image
+++ b/scripts/image
@@ -175,7 +175,7 @@ fi
   if [ "$BOOTLOADER" = "u-boot" ]; then
     KERNEL_IMAGE="uImage"
   elif [ "$BOOTLOADER" = "bcm2835-bootloader" ]; then
-    KERNEL_IMAGE="Image"
+    KERNEL_IMAGE="zImage"
   else
     KERNEL_IMAGE="bzImage"
   fi