[PATCH] ppc64 boot: print firmware provided stackpointer

Show firmware provided stackpointer during boot.

This helps to find the "taboo" areas on the various boards. claim tends to
fail for these memory areas, but some jokers return success anyway.

Use %p to print the load address, its a pointer.

Signed-off-by: Olaf Hering <[e-mail]>
Cc: Benjamin Herrenschmidt <[e-mail]>
Cc: Anton Blanchard <[e-mail]>
Signed-off-by: Andrew Morton <[e-mail]>
Signed-off-by: Paul Mackerras <[e-mail]>

arch/ppc64/boot/crt0.S

···
 	sync
 	isync
 
+	mr	r6,r1
 	b	start
 

arch/ppc64/boot/main.c

···
 	return addr;
 }
 
-void start(unsigned long a1, unsigned long a2, void *promptr)
+void start(unsigned long a1, unsigned long a2, void *promptr, void *sp)
 {
 	unsigned long i;
 	int len;
···
 	if (getprop(chosen_handle, "stdin", &stdin, sizeof(stdin)) != 4)
 		exit();
 
-	printf("\n\rzImage starting: loaded at 0x%lx\n\r", (unsigned long) _start);
+	printf("\n\rzImage starting: loaded at 0x%p (sp: 0x%p)\n\r", _start, sp);
 
 	/*
 	 * The first available claim_base must be above the end of the