If the first one is what your kernel config looks like, gif is in the kernel. The gif devices won't show up in /dev until you ifconfig them.