I have already subscribed to this newsletter. Soon I will try there to write your question.
By the way, have You seen the kernel sources 4.9 in the latest version Amlogic BUILDROOT ? There is a HDMI video output. Though not in full screen, and just before the half.