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