Use google's gcc for kernel