The kernel is private. If nintendo patches it, it will become useless to future firmwares therefore no need to keep it private. I doubt it will get patches tho, since last firmware only edited the browser. Perhaps if there is a major firmware change that accomadates for the new nintendo id system, than it may be released.
So basically, we should be rooting for Nintendo to patch it.