I'm not a fan at all of overly modified kernels. I appreciate the work both of them do and recognize the difficulty of doing so. In some cases, there are benefits to the changes made but they're subtle at best and tend to introduce different problems.
I've been sticking to Sebastian's kernels because he's maintaining them the way I would -- just making simple, necessary modifications. Actually, even that kernel is more modified than I'd prefer but I don't have the time to take on kernel maintenance like I've done in the past right now.
TL;DR - Trying to keep the kernel close to stock.
Which is exactly why this ROM is so popular and stable, everything works and no need to add mods and apps that most don't want.
Personally I'm going to be adding Socali's underclocked version of Sebastian's kernel to my 4.0.2, as I want the best battery life - but it's easy to make that choice due to the unmodded ROM we've been given.
Thanks for your continuing work rmk40.