grab kernel from bitbucket