It may be that they can't release it open source. How much of other peoples' proprietary code is in that kernel?

To be clear, I'm not talking illegal theft or anything of the sort -- but it's quite possible that they've licensed things over the years (code, patents, ...) and thus cannot open source it.

Not saying this is or isn't true, just something to consider when trying to figure out the why of things.