makefile: kernel faults with -fschedule-insns2 in GCC 4.8.2

Conflicts:
	Makefile

Change-Id: I21744c5eb6a109fb55b0829139ea4111c850dcf7
Add arm flags

Change-Id: I173b8fad79bd27170d32182df69ca8d85780a1b9