diff --git a/packages/linux/package.mk b/packages/linux/package.mk
index 6ebf7e3dd5..520af2d442 100644
--- a/packages/linux/package.mk
+++ b/packages/linux/package.mk
@@ -58,6 +58,11 @@ case "$LINUX" in
     PKG_SOURCE_DIR="xbian-sources-kernel-${PKG_COMMIT}*"
     PKG_DEPENDS_TARGET="$PKG_DEPENDS_TARGET imx6-status-led imx6-soc-fan irqbalanced"
     ;;
+  default-rpi)
+    PKG_VERSION="4.9.36"
+    PKG_URL="http://www.kernel.org/pub/linux/kernel/v4.x/$PKG_NAME-$PKG_VERSION.tar.xz"
+    PKG_PATCH_DIRS="default-rpi"
+    ;;
   *)
     PKG_VERSION="4.11.8"
     PKG_URL="http://www.kernel.org/pub/linux/kernel/v4.x/$PKG_NAME-$PKG_VERSION.tar.xz"
diff --git a/projects/RPi/options b/projects/RPi/options
index 878b4f8712..0a5f36327d 100644
--- a/projects/RPi/options
+++ b/projects/RPi/options
@@ -57,7 +57,7 @@
 
   # Kernel to use. values can be:
   # default:  default mainline kernel
-    LINUX="default"
+    LINUX="default-rpi"
 
   # NOOBS supported hex versions (legacy)
     NOOBS_HEX="2,3,4,5,6,7,8,9,d,e,f,10,11,12,14,19,0092,0093"
diff --git a/projects/RPi2/options b/projects/RPi2/options
index b54cc79a08..73eb5340ec 100644
--- a/projects/RPi2/options
+++ b/projects/RPi2/options
@@ -57,7 +57,7 @@
 
   # Kernel to use. values can be:
   # default:  default mainline kernel
-    LINUX="default"
+    LINUX="default-rpi"
 
   # NOOBS supported hex versions (legacy)
     NOOBS_HEX="1040,1041,2082"