diff --git a/PKGBUILD b/PKGBUILD
index e7204d1f9bc1d9fd9413975f0bd58564ab937746..8c626c8a01c2e3059d3c960583de9f0111c97c16 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 # Customized version of linux for seblu computers
 
 pkgname=linux-seblu
-pkgver=4.9_rc5
+pkgver=4.9
 pkgrel=1
 pkgdesc='The Linux Kernel cooked by Seblu'
 arch=('x86_64')
@@ -188,7 +188,7 @@ install_sources() {
 
   # remove unneeded architectures added by copying Kconfig
   for i in "$kernsrc"/arch/*; do
-    [[ "$i" != x86 ]] && rm -rf "$i"
+    [[ "${i##*/}" != x86 ]] && rm -rf "$i"
   done
 
   # fix permissions
diff --git a/config.x86_64 b/config.x86_64
index 08416cc5ad6fe1a2895a51d8bcc77eaaa8b97349..a43482e4f78793b99244f39897839e8f5ca27d20 100644
--- a/config.x86_64
+++ b/config.x86_64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.9.0-rc4 Kernel Configuration
+# Linux/x86 4.9.0 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -4319,6 +4319,7 @@ CONFIG_DVB_RTL2830=m
 CONFIG_DVB_RTL2832=m
 CONFIG_DVB_SI2168=m
 CONFIG_DVB_AS102_FE=m
+CONFIG_DVB_GP8PSK_FE=m
 
 #
 # DVB-C (cable) frontends