quando aggiorni ti rimette il kernel stock.
Io ho sempre tenuto il kernel stock (a parte qualche mese fa quando i consumi erano alle stelle usavo anche io il semaphore) se hai bisogno di un kernel con qualche tweaks io mi sono sempre trovato bene con il semaphore quando lo usavo... resta sul semaph a me non ha mai dato problemi ;)