[PATCH stable 4.9 20/21] media: dvb_frontend: fix wrong cast in compat_ioctl