Fix smdk4412 kernel compilation with Linaro 4.10

Conflicts:
	arch/arm/boot/compressed/Makefile