KRNL submodule now hosted at Bitbucket.