Lo si, infatti è sembrato strano anche a me, ho fatto di tutti, riavvio, wipe, reinstallato il kernel, sempre con lo stesso risultato e in piu nelle informazioni del kernel mi usciva il "#4". Col twrp invece tutto bene.
Ripeto, anche a me è sembrato strano ma è andata cosi .