Beh, se non c'è un aggiornamento importante non credo sia necessario aggiornare il kernel (come successo per l'antica 2.0 e 2.0.1).
Stavo pensando al cambio tra 4.1 e 4.1.1 però sì effettivamente il kernel deve aggiornarsi.
Non riesco a pensare a qualche differenza tra Toolkit e OTA, oltre che ad un wipe più pesante.....boh....