Various fixes to allow building with GCC 4.7

Conflicts:
	drivers/misc/tzic.c
	drivers/power/sec_battery_px.c