diff --git a/core/linux-raspberrypi/PKGBUILD b/core/linux-raspberrypi/PKGBUILD
index 940076c12..0696a643c 100644
--- a/core/linux-raspberrypi/PKGBUILD
+++ b/core/linux-raspberrypi/PKGBUILD
@@ -7,12 +7,12 @@
 buildarch=18
 
 pkgbase=linux-raspberrypi
-_commit=8d2aebc8b609bacec10faea27eb4348a43297c04
+_commit=f3036a6823322dcb07c8650ce3897db1f3666b09
 _srcname=linux-${_commit}
 _kernelname=${pkgbase#linux}
 _desc="Raspberry Pi"
 pkgver=3.18.3
-pkgrel=1
+pkgrel=2
 bfqver=v7r7
 arch=('arm' 'armv6h')
 url="http://www.kernel.org/"
@@ -29,13 +29,13 @@ source=("https://github.com/raspberrypi/linux/archive/${_commit}.tar.gz"
         'config.txt'
         'cmdline.txt'
         'config')
-md5sums=('4f09effc361b4f60e1321a306d4719bf'
+md5sums=('1e1da77a6f564abcf93cf64ed393abaf'
          'SKIP'
          '1c7c2d0338939a9e6953a64d80861471'
          'a81346cce95baeac2c56cf60d3c7e5b6'
          '8f2743651280f5a022e541f4e95e5546'
          '405015cdeb544575c25018b3487a2e76'
-         '4db81bb73c5eb33d145da4dfacaf439e'
+         '9fa1d13e1e36d3fc6c2c39b89fc0bafc'
          '60bc3624123c183305677097bcd56212'
          '46b4b57d60bd346f8a9ff7a5f20c6f39')
 
diff --git a/core/linux-raspberrypi/config.txt b/core/linux-raspberrypi/config.txt
index b8ab4f399..70258ddc2 100644
--- a/core/linux-raspberrypi/config.txt
+++ b/core/linux-raspberrypi/config.txt
@@ -27,6 +27,7 @@
 #device_tree_overlay=hifiberry-dac
 #device_tree_overlay=hifiberry-dacplus
 #device_tree_overlay=hifiberry-digi
+#device_tree_overlay=hifiberry-amp
 #device_tree_overlay=iqaudio-dac
 #device_tree_overlay=iqaudio-dacplus
 
@@ -61,6 +62,11 @@
 #device_tree_param=gpiopin=4
 #device_tree_param=pullup=5
 
+# Uncomment to enable pps-gpio (pulse-per-second time signal via GPIO)
+# Params: gpiopin (default "18")        GPIO input pin
+#device_tree_overlay=pps-gpio
+#device_tree_param=gpiopin=18
+
 # Uncomment if you get no picture on HDMI for a default "safe" mode
 #hdmi_safe=1