d710: switch to smdk4412 kernel