Fix boot with GCC 4.7

Conflicts:
	arch/arm/configs/KING_defconfig