Recent tinydrm -> tiny drm drivers rename causes kernel-doc problems