Another attempt to fix DVBSky patch for 3.18 kernels