header cleaning: don't include smp_lock.h when not used