[PATCH 10/19] fpga: Migrate CONFIG_MAX_FPGA_DEVICES to Kconfig