You should use whichever kernel gets you the best speed. Though, in 3-6 months, I don't think its going to matter.