I have just changed the data cache policy from write-back to write-through. It seems this solves the problem. I need more time to test it and I have to check the performance too. But I am afraid this really decreases the speed of the system which is unacceptable.
It must be something around the SPI driver transmit and/or receive buffers cache flush/invalidate.
Is somebody familiar with this driver?