Da quello che ho capito sul thread XDA (vedi il quote) del kernel per stock intendono stock Samsung e non stock-based ma ti consiglierei di fare un po di ricerche perchè non sono sicuro.
WARNING:
It's not possible to dual-boot with the JB SAMMY ROMs in any combination.
So, please! don't try it and don't report it as a bug, it's a known issue.