Tutti a cambiare il kernel.
Ma poi se ci sono problemi non si sa come risolvere.
Il mio consiglio è tenere quello di default che è compilato specificatamente per questa rom, è comunque buono e parco nei consumi e non vi sbattete tanto a reinstallarlo ogni qualvolta aggiornerete la rom
¤Tpk2¤