Don't upgrade kernel if already on 3.13.