If you purchase a kit without electronics, then any of the LM kits would work. You could then add your own MCU such as ARM, PIC, AVR, or whatever else you want to use, since all of those are programmable in C.
You can use the SSC-32 servo controller with ANY MCU that has a UART, since it takes standard ASCII text commands over an RS-232C or TTL level serial port.
You will lose all advantage from software created by Lynxmotion though, since all of that is strictly Windows based. You could program the Atom PRO in C, but you would still have to use the Windows IDE to do that.
I am in the process of learning how to program PICs and ARM7 MCUs now, and will likely be using both of those on my WALTER robot, which is currently running with a Basic ATOM on a Mini ABB., I am partial to the NXP LPC-2000 series MCUs such as the Olimex LPC-2148 boards I have, when it comes to ARM7 MCUs. The LPC-2148 has a really nice feature set, 512K Flash, 42K RAM, 2x I2C, 2x SPI, and more.
The only catch when it comes to ARM7 and similar MCUs is finding an acceptable development environment. I am going to be using Rowley Associates Crossworks for ARM, which is available for both Windows and Linux. I have the Linux version running under Debian Etch right now. Rowley Associates has excellent support too, and you can get a 30 day evaluation license.
Linux based boards are typically going to be more expensive, but there are are some reasonably priced one for the capabilities you get. For Linux, you want an ARM9 or other Linux capable board with ample Flash and RAM. There is the Atmel NGW100 Network Gateway kit (Mouser, Digi-Key, Newark), which sells for under $100.00 and runs Linux with kernel 2.6.x. For a little more money there is also the iMX21 COG, which uses a Freescale i.MX21 ARM9 MCU. I have become a little partial to the Freescale ARM9 MCUs lately.
Going with a Linux based controller for your robotics work gains you a LOT too. You have many different languages, both compiled and interpreted (Python is a favorite of mine). You may have a little trouble finding sensor controllers that can be used with Linux though, but there are some solutions to this available. I2C and SPI are twp things you should definitely learn about, and there are quite a few I2C based sensors and SPI based chips available that would work with any Linux controller having these buses.
8-Dale