For anyone following this thread I can report that the SPI interface works in piCore5.0alpha6.
It appears to be compiled into the kernel in the latest release, not a module, but it is now working.
Next things to test on my Pi are the GPIO IR driver running under lirc and porting over my SPI VDF driver for lcdproc.