Try gcc 4.7 for kernel
Try gcc 4.7 for kernel