Revert "Build kernel with GCC4.7 as well"

This reverts commit 932610b585443eb3a084c5ab15d712f232ce08da.