WOW, 42% of 46k z-7020's LTUs is 19k! Seems like current design with HDMI controller does not fit to z-7010 at all. I hope it will be possible to build bitstream without HDMI support, especially because most applications does not need it.
Since board is built on FPGA, I think it would be nice to create an user catalogue, where users can share suitable cores. It might be really cool feature - literally download hardware from the Internet