Fix 3.7-dvb-mutex.patch