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