[PATCH 16/40] drm/gma500/intel_bios: Demote non-conformant kernel-doc header