Use 4.8 GCC

ps3: Squish in config.h change, and rebased on jb42 head

Change-Id: I38b439254a8b6cb5b887f13a29ba5ef96d56b396