Re: [U-Boot] [RFC PATCH 2/4] drivers: fpga: zynqpl: fix compilation with SPL