Which gcc version was used to build the kernel?

Here are two commands you can use to get this information:

awk '{print $7}' /proc/version

and

cat /proc/version | head -n1 | cut -d" " -f1-3,5-7