ARM: zynq: Fix building SPL without FPGA support