zynq: kernel: select FPGA-related configs