PYNQはv2.0だとpynq.driversがないようなのでHDMIが使えない（追記：ｖ2.0のドキュメントに気づかなかった。APIが多少変わっているが普通に動きます。）
v1.4を使う
https://github.com/Xilinx/PYNQ/tree/v1.4
face detect sample
https://github.com/Xilinx/PYNQ/blob/v1.4/Pynq-Z1/notebooks/examples/opencv_face_detect_hdmi.ipynb
