https://jalcocert.github.io/RPi/posts/rpi-hdmi/