[PATCH] drm/cirrus: Remove obsolete header file

[Gerd Hoffmann]

On Thu, Oct 17, 2019 at 01:34:27PM +0200, Thomas Zimmermann wrote:
> The cirrus driver's header file is left over from a recent rewrite.
> Remove it.

Queued up for drm-misc-next.

thanks,
  Gerd