OpenOCDにZynq系のデバイスはない?

OpenOCDでFPGAのbitファイルの書き換えを試しているんだけど、大きなデバイスでも対応できそうなんですね。

ただ、Zynq系のデバイスはないなぁと思ってるんだけど、CPUから書き換えればいいんだよね…