Yea, stock rom and stock kernel are 2 seperate entities. I am rommed and ive never messed with kernel. Im too scared to mess it up. Try xda. Go to the note forum specific to your carrier and do a search for it. I know ive seen stock kernel for att there before.
Sent from my SAMSUNG-SGH-I317 using Tapatalk 2