Revert "Build kernel with GCC 4.7"

This reverts commit 077471318ddc3a46d831804757cc94dc1e83fe46.

Change-Id: Iaea8ef6b75605defc4300cb7086ebb41e224c958