/drivers/fpga/machxo2-spi.mod.c