I've seen references to a kernel cleaning script here...
1- When do you need to use one (specifically regarding this ROM)
2- What script are you guys using? (I googled and found more than one)
PS - I went from stock ROM to UnNamed to UnOriginal to Task's AOKP and have never done anything about a kernel. I am having no problems so I assume I should leave well enough alone but if I need to use a cleaning script in the future, I want to understand why and be ready.
Galaxy S3 (i747) Task's AOKP JB 4.3 ROM
Nexus 7 rooted stock JB - WugFresh Toolkit