[PATCH v4 4/5] drm/doc: demote old doc-comments in drm.h