I will try it soon. One additional question:
If I want to use the first MOSI at pin #19 I will have to use GPIO40 instead of GPIO10 on RaspberryPi, right?
…I had no luck, I only get message that hardware revision is not supported. source code only lists different RasPi versions (rpihw.c), but not sure what has to be added here.
So I will try some Arduino-based hardware and connect it via USB.