Missing flags for GCC 4.8 and 4.9
core: arm: Use -O3 optimization inside TARGET_arm_CFLAGS

Change-Id: I224b62b3dada874d00a90258a1dcffcea09bc029