Re: [PATCH] drm/fbdev-helper: Explain how to debug console_lock fun