kernel/netinet6: Fix the kernel build without "options INET6".