[PATCH 4.20 31/32] mISDN: fix a race in dev_expire_timer()