I moved the old Ubuntu installation over to a new SSD. Performance was as I’d hoped, with the PC booting in 15 seconds, half the time of a normal HDD. It may not seem like much time, but the laptop is flying now. A second here, a second there and it FEELS like a new machine.
Rendering CyanogenMod 10 time is unchanged though – the disk has no effect on the processor of course. But I am now “rocking” CM10 on my tablet that I “cooked” myself. It is working better this time, I think I got the wrong version of google market or something last time.
For the record, I used clonezilla, installed on an old 512MB USB stick on a partition to partition copy (most of the old 500GB disk was Windows 7). I then used this excellent post to install grub 2 after floundering through some others that were similar but didn’t do the job.