diff -Nru supermin-5.1.7/debian/changelog supermin-5.1.7/debian/changelog
--- supermin-5.1.7/debian/changelog	2014-04-28 19:42:08.000000000 +0000
+++ supermin-5.1.7/debian/changelog	2014-05-04 13:20:11.000000000 +0000
@@ -1,3 +1,9 @@
+supermin (5.1.7-3+rpi1) jessie-staging; urgency=medium
+
+  * Build-depend on raspbian kernel rather than debian armmp kernel.
+
+ -- Peter Michael Green <plugwash@raspbian.org>  Sun, 04 May 2014 13:19:49 +0000
+
 supermin (5.1.7-3) unstable; urgency=medium
 
   * Fixed internal error on short host_cpu names, added Debian-specific
diff -Nru supermin-5.1.7/debian/control supermin-5.1.7/debian/control
--- supermin-5.1.7/debian/control	2014-04-28 19:42:08.000000000 +0000
+++ supermin-5.1.7/debian/control	2014-05-04 13:19:26.000000000 +0000
@@ -14,7 +14,7 @@
  cpio,
  augeas-tools, libhivex-bin, 
  linux-image-versatile [armel],
- linux-image-armmp [armhf],
+ linux-image-rpi [armhf],
  linux-image-4kc-malta [mips mipsel] | linux-image-5kc-malta [mips mipsel],
  linux-image-s390x [s390x],
  linux-image-powerpc [powerpc],