Re: [PATCH 3/6] drm: include idr.h from drm_file.h