in search for the devil kernel topic

trying to find a OC kernel for tmobile galaxy note 2 {sgh-t889}. I found that the devil kernel is presumably the ideal one. I am having trouble finding the link. can someone please point me to the right direction.