uapi drm/armada_drm.h: use __u32 and __u64 instead of uint32_t and uint64_t