Nope. This is _the_ question here, what prevented them from pushing framebuffer data to the adapter, which then puts it into HDMI compatible form
It seems to me they had a system for outputting video via h.264, and they decided to use it again here. Seems like a reasonable decision at that point.