If the kernel hasn't been updated in two going on three months what makes you think the op would be updated? The tweaker app has the updater in it so check for updates using that.
Otherwise I'd say this thread is dead and development of this kernel is over.
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?