Re: [PATCH] drm: Make drm_read() more robust against multithreaded races