After a bit of difficulty, I now have SB_WARMBOOT working.
So on power-on, my writeflash SoC runs. I can then send it a bistream to write to slot 1 (0x28000) and warm boot to it.
I don't need that STM32 processor and usb programming port any more
The latest version of the SoC is in the repository.