BoardConfig.mk: use GCC 4.8 for ROM