Re: [PATCH v4 05/79] exynos_drm.h: use __u64 from linux/types.h