use gcc 4.8 toolchain for mako kernel
Signed-off-by: Paul Beeler <sparksco@gmail.com>