I feel the need, the need for speed
(switch to 4.8 GCC and add cflags for more optimization)

Change-Id: I678e374cfcf553e5bd84577925e74e2aaf68cf05