[agumonkey]

So we should have two numbers, actual kernel, whole tree.

I am quite convinced that if they kept it that way it was because some unplanned property caused worse driver status with an API; too many delays, improper usage I don't know.

If there's no solid reason, then I'd be happy to have split codebases.