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