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.
Results that may be inaccessible to you are currently showing.
Hide inaccessible resultsResults that may be inaccessible to you are currently showing.
Hide inaccessible results