Io non ho scariato quella. Sì, uso il kernel stock che credo sia il migliore e più indicato per questa ROM, essendo stato plasmato appositamente per essa. Il link in prima pagina ieri funzionava, avranno problemi col server. Se ti interessa posso provare a caricartela sul mio Dropbox.
Se ti interessa flashare la versione che ho io, ossia la vanir_maguro_4.4.2.052514 puoi scaricarla da qui in attesa che sistemino il loro sito.