Re: [PATCH] drm: assure aux_dev is nonzero before using it