build: Clean up use of vendor/extra

 * extra_config.mk is not needed anymore
 * Include BoardConfigExtra.mk if available

Change-Id: Icd0db0852ceee5cb5c701c9a40b829e1f3ebd69e
core: arm: Add support for GCC 4.8 and 4.9

Change-Id: I96bffffb4b0e16ef5bcedc85dedc70ca3dc2182f
core: arm: Use -O3 optimization inside TARGET_arm_CFLAGS

Change-Id: I224b62b3dada874d00a90258a1dcffcea09bc029