diff --git a/srcpkgs/linux3.18/files/i386-dotconfig b/srcpkgs/linux3.18/files/i386-dotconfig
index a7aa3d5e3ce..2072f7e1939 100644
--- a/srcpkgs/linux3.18/files/i386-dotconfig
+++ b/srcpkgs/linux3.18/files/i386-dotconfig
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 3.18.0-rc7 Kernel Configuration
+# Linux/x86 3.18.4 Kernel Configuration
 #
 # CONFIG_64BIT is not set
 CONFIG_X86_32=y
@@ -2234,6 +2234,7 @@ CONFIG_IXGBEVF=m
 CONFIG_I40E=m
 CONFIG_I40E_VXLAN=y
 CONFIG_I40E_DCB=y
+# CONFIG_I40E_FCOE is not set
 CONFIG_I40EVF=m
 CONFIG_FM10K=m
 CONFIG_FM10K_VXLAN=y
diff --git a/srcpkgs/linux3.18/files/x86_64-dotconfig b/srcpkgs/linux3.18/files/x86_64-dotconfig
index 78fbd023cd2..64afccb3e6b 100644
--- a/srcpkgs/linux3.18/files/x86_64-dotconfig
+++ b/srcpkgs/linux3.18/files/x86_64-dotconfig
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 3.18.0-rc7 Kernel Configuration
+# Linux/x86 3.18.4 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -2244,6 +2244,7 @@ CONFIG_IXGBEVF=m
 CONFIG_I40E=m
 CONFIG_I40E_VXLAN=y
 CONFIG_I40E_DCB=y
+# CONFIG_I40E_FCOE is not set
 CONFIG_I40EVF=m
 CONFIG_FM10K=m
 CONFIG_FM10K_VXLAN=y