diff -Nru supermin-5.1.13/debian/changelog supermin-5.1.13/debian/changelog
--- supermin-5.1.13/debian/changelog	2015-05-27 21:20:22.000000000 +0000
+++ supermin-5.1.13/debian/changelog	2015-06-11 21:40:31.000000000 +0000
@@ -1,3 +1,9 @@
+supermin (5.1.13-3+rpi1) stretch-staging; urgency=medium
+  [changes brought forward from 5.1.11-1+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Fri, 28 Nov 2014 05:45:23 +0000]
+  * Build-depend on raspbian kernel rather than debian armmp kernel.
+
+ -- Raspbian forward porter <root@raspbian.org>  Thu, 11 Jun 2015 21:40:03 +0000
+
 supermin (5.1.13-3) unstable; urgency=medium
 
   * Put linux-image-586 to the front in the hope that sbuild's apt-based
diff -Nru supermin-5.1.13/debian/control supermin-5.1.13/debian/control
--- supermin-5.1.13/debian/control	2015-05-27 20:14:19.000000000 +0000
+++ supermin-5.1.13/debian/control	2015-06-11 21:40:31.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-arm64 [arm64],
  linux-image-4kc-malta [mips mipsel] | linux-image-5kc-malta [mips mipsel],
  linux-image-5kc-malta [mips64 mips64el],