Re: [PATCH] drm/etnaviv: try harder to dump core