I don't know what Samsung called the kernel, but as long as you're using XXELLA than you should have the updated kernel!
Anyone this isn't running stock, just grab one of the latest custom kernels as they've all included the fix by now.
Cheers mate, only reason I asked is because my phone was playing up yesterday although I'm on XXELLA which is supposed to have the fix, so was curious as to whether another update was available for the sudden death issue. Having said that, haven't had any of the problems since yesterday, fingers crossed!