diff --git a/srcpkgs/linux3.12/files/i386-dotconfig b/srcpkgs/linux3.12/files/i386-dotconfig
index 810b02b0761..26c9d5010b5 100644
--- a/srcpkgs/linux3.12/files/i386-dotconfig
+++ b/srcpkgs/linux3.12/files/i386-dotconfig
@@ -710,7 +710,7 @@ CONFIG_RAPIDIO_TSI57X=y
 CONFIG_RAPIDIO_CPS_XX=y
 CONFIG_RAPIDIO_TSI568=y
 CONFIG_RAPIDIO_CPS_GEN2=y
-CONFIG_X86_SYSFB=y
+# CONFIG_X86_SYSFB is not set
 
 #
 # Executable file formats / Emulations
@@ -2834,7 +2834,7 @@ CONFIG_HW_RANDOM_ATMEL=m
 CONFIG_HW_RANDOM_GEODE=m
 CONFIG_HW_RANDOM_VIA=m
 CONFIG_HW_RANDOM_VIRTIO=m
-CONFIG_HW_RANDOM_EXYNOS=m
+# CONFIG_HW_RANDOM_EXYNOS is not set
 CONFIG_HW_RANDOM_TPM=m
 CONFIG_NVRAM=m
 CONFIG_R3964=m
@@ -4237,8 +4237,8 @@ CONFIG_XEN_FBDEV_FRONTEND=m
 # CONFIG_FB_BROADSHEET is not set
 # CONFIG_FB_AUO_K190X is not set
 CONFIG_FB_HYPERV=m
-CONFIG_FB_SIMPLE=y
-CONFIG_EXYNOS_VIDEO=y
+# CONFIG_FB_SIMPLE is not set
+# CONFIG_EXYNOS_VIDEO is not set
 CONFIG_BACKLIGHT_LCD_SUPPORT=y
 CONFIG_LCD_CLASS_DEVICE=m
 CONFIG_LCD_L4F00242T03=m
diff --git a/srcpkgs/linux3.12/files/x86_64-dotconfig b/srcpkgs/linux3.12/files/x86_64-dotconfig
index fe7244e37a3..ba359ce45e7 100644
--- a/srcpkgs/linux3.12/files/x86_64-dotconfig
+++ b/srcpkgs/linux3.12/files/x86_64-dotconfig
@@ -691,7 +691,7 @@ CONFIG_RAPIDIO_TSI57X=y
 CONFIG_RAPIDIO_CPS_XX=y
 CONFIG_RAPIDIO_TSI568=y
 CONFIG_RAPIDIO_CPS_GEN2=y
-CONFIG_X86_SYSFB=y
+# CONFIG_X86_SYSFB is not set
 
 #
 # Executable file formats / Emulations
@@ -705,7 +705,7 @@ CONFIG_BINFMT_SCRIPT=y
 CONFIG_BINFMT_MISC=m
 CONFIG_COREDUMP=y
 CONFIG_IA32_EMULATION=y
-CONFIG_IA32_AOUT=m
+# CONFIG_IA32_AOUT is not set
 # CONFIG_X86_X32 is not set
 CONFIG_COMPAT=y
 CONFIG_COMPAT_FOR_U64_ALIGNMENT=y
@@ -2820,7 +2820,7 @@ CONFIG_HW_RANDOM_AMD=m
 CONFIG_HW_RANDOM_ATMEL=m
 CONFIG_HW_RANDOM_VIA=m
 CONFIG_HW_RANDOM_VIRTIO=m
-CONFIG_HW_RANDOM_EXYNOS=m
+# CONFIG_HW_RANDOM_EXYNOS is not set
 CONFIG_HW_RANDOM_TPM=m
 CONFIG_NVRAM=m
 CONFIG_R3964=m
@@ -4210,8 +4210,8 @@ CONFIG_XEN_FBDEV_FRONTEND=m
 # CONFIG_FB_BROADSHEET is not set
 # CONFIG_FB_AUO_K190X is not set
 CONFIG_FB_HYPERV=m
-CONFIG_FB_SIMPLE=y
-CONFIG_EXYNOS_VIDEO=y
+# CONFIG_FB_SIMPLE is not set
+# CONFIG_EXYNOS_VIDEO is not set
 CONFIG_BACKLIGHT_LCD_SUPPORT=y
 CONFIG_LCD_CLASS_DEVICE=m
 CONFIG_LCD_L4F00242T03=m
diff --git a/srcpkgs/linux3.12/template b/srcpkgs/linux3.12/template
index 401767acfcb..664c267b1f5 100644
--- a/srcpkgs/linux3.12/template
+++ b/srcpkgs/linux3.12/template
@@ -2,7 +2,7 @@
 #
 pkgname=linux3.12
 version=3.12.17
-revision=2
+revision=3
 wrksrc="linux-${version}"
 maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://www.kernel.org"