kernel: going towards gcc 4.7 compatibility

Change-Id: I59bdd042aa0845ff8601039c101eea0f2a89b8bf

Conflicts:

	arch/arm/boot/compressed/Makefile