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