Recent defconfig that enables the FPGA driver as a module for the kernel