ADRV9009+Zynq3 (or ZC706)

Hello everyone, 

I hope that this is the right place to ask my question, and I really appreciate if you can help me.

If I am not wrong ADI has decided to support iio for adrv9009+zc706 (or possibly zynq3 since it should be close to zc706) in the 2019_R1 release.

It seems that it is possible to use HDL master and build the project right now until ADI is done with that release. So I have used hdl master repository in github and I could make the project. Using Vivado I have the bitstream generated. Now I would like to make a linux image which contains this bitstream so I can burn it on a sd card and then insert it into the board. I wonder if anyone can guide me through this process. 

Thanks in advance.