Fix smdk4412 kernel compilation with Linaro 4.10

Change-Id: Icabaacc7836454d05c1c4640a6bc63fa6c6bf656