[PATCH 0/3] fpga: Convert some options to Kconfig