helpers/envkernel.sh: add gcc4 support

GCC4 support has been added to our toolchain. Let's make it available from envkernel.sh!

I tried building a kernel with that, successfully. lenny2 / kernel sources.