CyanogenMod 10.1 (Android 4.2) for the HP TouchPad – coming soon