drivers/fpga/Kconfig: fix build failure