Re: [U-Boot] [RFC PATCH 2/7] fpga: add Kconfig support for Xilinx Spartan devices