Adjust xilinx_zynq BSP to include new print_fsr info