Wrong revision for smdk4412 kernel