vppinfra: minor refactor in lock.h