We jumped Xilinx before we proceeded to Zync, so I don’t know the details, but loading the FPGA is not something I’d count here. E.g. a Raspberry Pi loads a bootloader before loading the kernel, and a PC loads it’s bios first.