Blackfin arch: use %pF when printing out the double fault address so we get symbol names

Signed-off-by: Mike Frysinger <vapier.adi@gmail.com>
Signed-off-by: Bryan Wu <cooloney@kernel.org>

arch/blackfin/kernel/setup.c

@@ -790,7 +790,7 @@ void __init setup_arch(char **cmdline_p)
 		 * don't decode the address, since you don't know if this
 		 * kernel's symbol map is the same as the crashing kernel
 		 */
-		printk(KERN_INFO "Recovering from Double Fault event at %p\n", __retx);
+		printk(KERN_INFO "Recovering from Double Fault event at %pF\n", __retx);
 	else if (_bfin_swrst & RESET_WDOG)
 		printk(KERN_INFO "Recovering from Watchdog event\n");
 	else if (_bfin_swrst & RESET_SOFTWARE)