[PATCH 4.9 117/191] media: dvb_frontend: fix wrong cast in compat_ioctl