Fix wrong machine ID passed from RedBoot

Signed-off-by: Petr Stetiar <ynezz@true.cz>

Index: linux-2.6.22/arch/arm/kernel/head.S
===================================================================
--- linux-2.6.22.orig/arch/arm/kernel/head.S	2007-08-30 00:42:45.000000000 +0200
+++ linux-2.6.22/arch/arm/kernel/head.S	2007-08-30 00:43:13.000000000 +0200
@@ -82,6 +82,7 @@
 	bl	__lookup_processor_type		@ r5=procinfo r9=cpuid
 	movs	r10, r5				@ invalid processor (r5=0)?
 	beq	__error_p			@ yes, error 'p'
+	ldr	r1, =0x000002a1			@ mach-type = TS-7250
 	bl	__lookup_machine_type		@ r5=machinfo
 	movs	r8, r5				@ invalid machine (r5=0)?
 	beq	__error_a			@ yes, error 'a'