kconfig: Convert FPGA_SOCFPGA configuration to Kconfig