[PATCH v9 07/10] drm_print: instrument drm_debug_enabled