[PATCH] isdn4linux: Siemens Gigaset drivers: mutex conversion