Now you can use a cheaper and more accessible module with zynq-7010 (XME0724-7010C or XME0724-7010I). To do this, just replace a few files in the boot section with these.