smp_processor_id() was called in a preepmtible context, which could invalidate the returned value. However, this was not harmful, because fcs threads in nosv are pinned. Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
From Eudyptula, a little penguin.
