page 447 of the manual reads that TXSSELx is asserted when bit is set to 0
belmontbob59_0-1614284022826.png
isn't there a bug in the SDK's fsl_spi.c/irq handler ? see below
belmontbob59_1-1614284168264.png
Shouldn't the line in blue be
tx_ctrl |= ((uint32_t)SPI_DEASSERT_ALL & ~(uint32_t)SPI_ASSERTNUM_SSEL(handle->sselNum));
This is how the code is written SPI_WriteData() and SPI_MasterTransferBlocking(). See below snapshots
belmontbob59_4-1614284425910.png
belmontbob59_3-1614284403775.png