Re: [PATCH] drm/vmwgfx: use *_32_bits() macros