GCC 4.8 fixes

Siged-off-by: Paul Beeler <sparksco@gmail.com>
Make kernel compatible with gcc <=4.8

Use export TARGET_GCC=4.8 before compiling with a 4.8 toolchain