Re: [PATCH] drm/radeon: silence GCC warning on 32 bit