Fix smdk4412 kernel compilation with Linaro 4.10