The NITDroid auto-installer introduced the Regular+NITDroid options. Then the .deb i mentioned in my post added the Power Kernel option