BoardConfig: Build rom and kernel with GCC 4.8 toolchains

Change-Id: I44ed6956ca00b23f46a8afe3f7a81a9da8d4de27