# CONFIG_FPGA_MGR_MICROCHIP_SPI is not set
