あとで書く
・HLSのクロック周波数はHDMIの148.25MHzにあわせて150MHzにする(デフォルトで150MHzになっている。あるいは不要かも?)
・AXI_STREAM構造体をサンプルの16bitから32bitにする
・HLSで作成したIPコアはVDMAの直前(HDMI_IN側)あるいは直後(HDMI_OUT側)に置く
・python上でap_startに1を書き込んでみたが(MMIO.write(0x00,1)みたいな感じ)、うまく動いていない(スタックしているようでHDMIモニタに映像が現れない)