L'ho trovato per caso guardando l'XDA DevDB del Galaxy Next dedicato ai kernel (è presente solo il Badass per ora)
Download:
AOKB-JB: Dev-Host - Badass.v2(AOKB-JB).zip - The Ultimate Free File Hosting / File Sharing Service
AOKP-ICS: Dev-Host - Badass.v2(AOKP-ICS).zip - The Ultimate Free File Hosting / File Sharing Service
AOSP-ICS: Dev-Host - Badass.v2(AOSP-ICS).zip - The Ultimate Free File Hosting / File Sharing Service
CM9.2: Dev-Host - Badass.v2(CM9.2).zip - The Ultimate Free File Hosting / File Sharing Service
CM10: Dev-Host - Badass.v2(CM10).zip - The Ultimate Free File Hosting / File Sharing Service (UMS non funziona - dovrebbe essere la memoria esterna)
CM10.1: Dev-Host - Badass.v2(CM10.1).zip - The Ultimate Free File Hosting / File Sharing Service
CM10.2: https://db.tt/YavTqTfg
Fonte: [Kernel] Badass.v2 - xda-developers