Symbol: xtfpga_spi_read32