With the recent release of the Android 4.1.1 source code, the CyanogenMod team have already started work on porting it to a myriad of phones and tablets, with a good chance that the HP TouchPad will get the buttery smooth release too.
Unsurprisingly called CyanogenMod 10, an early build has actually rapidly turned up on the somewhat obscure LG Optimus 4X HD (is it just me or is that a naff phone model name? Is the resolution really 4 times that of HD? I doubt it!).