Has ADI any HDMI capture card project? There does appear to be a VGA capture sdk ?
The ADV7619 appears to be your starting point.
Are there 3rdparty HDMI capture PCIe cards available ?
There are many products available which can record unencrypted HDMI signals.
Here is one for example:
Blackmagic Design: Intensity
Retrieving data ...