Sinceramente non vedo un motivo per cui non dovrebbero aggiornare il kernel, e penso che anche se dovesse rimanere quello vecchio in quest'ultimo aggiornamento, integreranno sicuramente il 3.10 in un update successivo. Sperando di non dover aspettare una vita