I checked the thread and it's for the S2. Although it doesn't tell me in Download mode, I'm pretty sure my flash counter is zero since I've never flashed before, but it does say "Custom," even though it's the regular Jellybean/Touchwiz or whatever.
So if I flash to the stock kernel, will the one in that thread work or will I need a different one for the S4? And do you know where I could find one. Couldn't find one when I googled it.