[PATCH] drivers/isdn/gigaset: reduce mutex scope