Per esattezza io sto usando la NeatRom Lite che e' una derivata della stock rom Samsung e ho la Rootbox come prima rom. Basta seguire questo post su xda:
[ROM Repository][25-Mar]Dual Boot Rom Collections -SAMMY JB ROMS Modded for DualBoot. - xda-developers
Quindi e' possibile avere anche la CM10.1 ma come stock rom bisogna caricare una versione tra quelle elencate e seguire la procedura.