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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results