[PATCH v10 07/10] drm_print: instrument drm_debug_enabled