upgpkg: media-build-dvbsky - introduce fix for 3.10 kernels