Fix kernel compilation for AOSP variants
Thanks Samsung...
Fix smdk4412 kernel compilation with Linaro 4.10
config: misc