Make kernel compatible with gcc <=4.8

Use export TARGET_GCC=4.8 before compiling with a 4.8 toolchain

Signed-off-by: Paul Beeler <sparksco@gmail.com>