diff --git a/PKGBUILD b/PKGBUILD
index 15c4122b5acc89615330b5fd0db87c3a5b5e8f4d..044eebdbfaf8cc4ee46fe3152a6385d8e7ee6354 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 # Customized version of linux for seblu computers
 
 pkgname=linux-seblu
-pkgver=4.12_rc3
+pkgver=4.12
 _repourl='git+https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git'
 #_repourl='git+https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git'
 pkgrel=1
diff --git a/config.x86_64 b/config.x86_64
index 8113869ba4550d016c998ed8f1f19a749443d074..127721c7762efe074123c4a3e4ff9157a0ef09f3 100644
--- a/config.x86_64
+++ b/config.x86_64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.12.0-rc3 Kernel Configuration
+# Linux/x86 4.12.0 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -190,7 +190,6 @@ CONFIG_RD_LZMA=y
 CONFIG_RD_XZ=y
 CONFIG_RD_LZO=y
 CONFIG_RD_LZ4=y
-CONFIG_INITRAMFS_COMPRESSION=".gz"
 CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE=y
 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
 CONFIG_SYSCTL=y
@@ -853,7 +852,6 @@ CONFIG_COMPAT_32=y
 CONFIG_COMPAT=y
 CONFIG_COMPAT_FOR_U64_ALIGNMENT=y
 CONFIG_SYSVIPC_COMPAT=y
-CONFIG_KEYS_COMPAT=y
 CONFIG_X86_DEV_DMA_OPS=y
 CONFIG_NET=y
 CONFIG_COMPAT_NETLINK_MESSAGES=y
@@ -1397,11 +1395,6 @@ CONFIG_NET_SCH_PIE=m
 CONFIG_NET_SCH_INGRESS=m
 CONFIG_NET_SCH_PLUG=m
 # CONFIG_NET_SCH_DEFAULT is not set
-# CONFIG_DEFAULT_FQ is not set
-# CONFIG_DEFAULT_CODEL is not set
-# CONFIG_DEFAULT_FQ_CODEL is not set
-# CONFIG_DEFAULT_SFQ is not set
-# CONFIG_DEFAULT_PFIFO_FAST is not set
 
 #
 # Classification
@@ -3802,6 +3795,7 @@ CONFIG_MFD_WL1273_CORE=m
 # CONFIG_MFD_WM8350_I2C is not set
 # CONFIG_MFD_WM8994 is not set
 # CONFIG_REGULATOR is not set
+CONFIG_CEC_CORE=m
 CONFIG_MEDIA_SUPPORT=y
 
 #
@@ -3814,9 +3808,7 @@ CONFIG_MEDIA_RADIO_SUPPORT=y
 # CONFIG_MEDIA_SDR_SUPPORT is not set
 CONFIG_MEDIA_RC_SUPPORT=y
 CONFIG_MEDIA_CEC_SUPPORT=y
-CONFIG_CEC_CORE=y
 CONFIG_MEDIA_CEC_RC=y
-# CONFIG_MEDIA_CEC_DEBUG is not set
 CONFIG_MEDIA_CONTROLLER=y
 # CONFIG_MEDIA_CONTROLLER_DVB is not set
 CONFIG_VIDEO_DEV=y
@@ -6988,6 +6980,7 @@ CONFIG_DEFAULT_IO_DELAY_TYPE=0
 # Security options
 #
 CONFIG_KEYS=y
+CONFIG_KEYS_COMPAT=y
 # CONFIG_PERSISTENT_KEYRINGS is not set
 CONFIG_TRUSTED_KEYS=m
 CONFIG_ENCRYPTED_KEYS=m