[PATCH 3.18 12/13] mISDN: fix a race in dev_expire_timer()