Re: [PATCH] drm/hyperv-drm: Include framebuffer and EDID headers