Use 4.7 toolchain for mako kernel not 4.8
Signed-off-by: Paul Beeler <sparksco@gmail.com>