Re: [PATCH libdrm 11/24] intel: remove the drm_mm* symbol workarounds