Re: [PATCH 01/11] drm/ttm: fix resource manager size type and description