Could you please elaborate what is "c-rom with lean kernel" and how can I run it? (on the original HTC mini). I bought it because I wanted a non-Android smartphone that's not huge and decently built, but I'm tired of HTC Sense.
Side note, I'm confused, you bought an Android phone because you wanted a non-Android smart phone? HTC Sense is still Android, just with a custom skin.
I've got a unbranded version of android suited for my phone with an optimized kernel (lean kernel).
It runs a lot faster, the battery lasts longer, and I don't have to deal with 200+ bloatware apps on the phone...
Here's the page for C-ROM. See if it's compatible with your device.
lean kernel for note 3 http://forum.xda-developers.com/showthread.php?t=2488233
Your best bet is to just get on xda-developers forums and go to your device's section.