bringing github to the state of 2013-11-14 release. Titan kernel improvements only.