Build kernel with GCC 4.7
Signed-off-by: Kristofer Ard <kristoferard@gmail.com>