[PATCH] drm/pl111: Use 64-bit arithmetic instead of 32-bit