[PATCH for v3.18 17/18] media: v4l2-compat-ioctl32: use compat_u64 for video standard