Use kernel with gcc 4.7 patches