Hai ragione, i binari sono stati rilasciati per jelly bean, ma google non li aveva utilizzati nell'aggiornamento ufficiale. Comunque l'obbiettivo adesso è proprio quello di portare i driver sul kernel 3.0.
Poi sinceramente non capisco cosa ci sia di male nell'avere un kernel 3.0 con una rom perfettamente funzionante. Alla fine in un kernel 3.4 cambia solo un numero, molte features sono state portate sul 3.0, e i miglioramenti che potrebbe dare sono davvero minimi. Poi neanche fosse una novità di kitkat, eppure un anno fa nessuno si è lamentato che non hanno aggiornato il kernel con la 4.2....