Penso che il problema sa dovuto alle impostazioni che ti ha tenuto del devil...
Il devil a differenza del semaphore contiene delle librerie per autopatcare x avere il BigMen....
Prima di installare il semaphore, da recovery ci sono le voci per cancellare le impostazioni del kernel....