mako: build kernel with gcc4.7

Change-Id: Icb8a5ba807c14e85425f911f5474c1e52b65584b