splinlock.h: remove deprecated typedefs