Rename the dvb-mutex patches