Move proc_lock into the data segment. It was dynamically allocated becauseat the time we had mutex_obj_alloc() but not __cacheline_aligned.
elementary tests for rump sigmodels