Add gcc 4.6 for kernel building