Update mako kernel build scripts to use gcc 4.7:

This is now supported because of many added kernel patches

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