Patch merged into coreboot/master: af24a61 Fix possible deadlock on SMP stop_this_cpu

the following patch was just integrated into master:
commit af24a610077c3bca7aa2e47bb0a05b4b1035f996
Author: Kyösti Mälkki 
Date:   Sun Mar 4 02:24:36 2012 +0200

Fix possible deadlock on SMP stop_this_cpu

Do not use printk on the running thread after it has been sent
    the INIT IPI, execution may halt with console spinlock held.

Change-Id: I64608935ea740fb827fa0307442f3fb102de7a08
    Signed-off-by: Kyösti Mälkki

Build-Tested: build bot (Jenkins) at Sat Mar 10 05:53:05 2012, giving +1
Reviewed-By: Rudolf Marek  at Sun Mar 25 20:35:24 2012, giving +2
See http://review.coreboot.org/776 for details.

-gerrit