Re: [PATCH] drm: mali-dp: use div_u64 for expensive 64-bit divisions