Support for Rocket Chip on Zynq FPGAs