diff -Nur linux-3.4.4.orig/arch/x86/boot/compressed/mkpiggy.c linux-3.4.4/arch/x86/boot/compressed/mkpiggy.c
--- linux-3.4.4.orig/arch/x86/boot/compressed/mkpiggy.c	2012-06-22 20:37:50.000000000 +0200
+++ linux-3.4.4/arch/x86/boot/compressed/mkpiggy.c	2012-07-03 09:48:02.000000000 +0200
@@ -29,7 +29,14 @@
 #include <stdio.h>
 #include <string.h>
 #include <inttypes.h>
-#include <tools/le_byteshift.h>
+
+static uint32_t getle32(const void *p)
+{
+	const uint8_t *cp = p;
+
+	return (uint32_t)cp[0] + ((uint32_t)cp[1] << 8) +
+		((uint32_t)cp[2] << 16) + ((uint32_t)cp[3] << 24);
+}
 
 int main(int argc, char *argv[])
 {
@@ -62,7 +69,7 @@
 	}
 
 	ilen = ftell(f);
-	olen = get_unaligned_le32(&olen);
+	olen = getle32(&olen);
 	fclose(f);
 
 	/*
