Hi,
The SmartRf would need to connect over USB through the UART on the FR5739 Expt. board, its this I would need to interface to SPI. It looks like the dev EVK's(SmartRF04EB/SmartRF05EB) use an 8051 for this purpose.
The guys already have the CC1100EMK parts with no motherboard. I guess there is no reason we could not use the CC1101, at a glance it looks as it should be able to interface to a CC1100 at 433MHz?