Re: [PATCH 3/3] fpga: Convert FPGA_COUNT to Kconfig