-Index: linux-3.1.1/arch/arm/kernel/setup.c
-===================================================================
---- linux-3.1.1.orig/arch/arm/kernel/setup.c 2011-11-17 15:36:08.429970573 +0100
-+++ linux-3.1.1/arch/arm/kernel/setup.c 2011-11-17 15:36:47.121577693 +0100
-@@ -890,8 +890,8 @@ void __init setup_arch(char **cmdline_p)
- machine_desc = mdesc;
- machine_name = mdesc->name;
-
+--- a/arch/arm/kernel/setup.c
++++ b/arch/arm/kernel/setup.c
+@@ -896,8 +896,8 @@ void __init setup_arch(char **cmdline_p)
+ arm_dma_zone_size = mdesc->dma_zone_size;
+ }
+ #endif