diff --git a/alarm/raspberrypi-firmware/PKGBUILD b/alarm/raspberrypi-firmware/PKGBUILD
index a397dc318..649f1ba9f 100644
--- a/alarm/raspberrypi-firmware/PKGBUILD
+++ b/alarm/raspberrypi-firmware/PKGBUILD
@@ -1,7 +1,7 @@
 buildarch=2
 
 pkgname=raspberrypi-firmware
-pkgver=20120530
+pkgver=20120531
 pkgrel=1
 pkgdesc="Firmware files for Raspberry Pi"
 arch=('any')
diff --git a/core/linux-raspberrypi/PKGBUILD b/core/linux-raspberrypi/PKGBUILD
index a597c5131..99094c039 100644
--- a/core/linux-raspberrypi/PKGBUILD
+++ b/core/linux-raspberrypi/PKGBUILD
@@ -8,7 +8,7 @@ pkgname=('linux-raspberrypi' 'linux-headers-raspberrypi')
 _kernelname=${pkgname#linux}
 _basekernel=3.1
 pkgver=${_basekernel}.9
-pkgrel=16
+pkgrel=17
 arch=('arm')
 url="http://www.kernel.org/"
 license=('GPL2')