Merge version 5.1.19-3+rpi1 and 5.1.19-4 to produce 5.1.19-4+rpi1

diff --cc debian/changelog
index 3cdc2208431885843a3832de8995d32b593b2705,30f380b323680d7f428dbd3a063d7fa462750c7c..0e2d88ea72bb4ade17f5eb10e79427035654e855
--- 1/debian/changelog
--- 2/debian/changelog
+++ b/debian/changelog
@@@ -1,9 -1,9 +1,16 @@@
- supermin (5.1.19-3+rpi1) buster-staging; urgency=medium
++supermin (5.1.19-4+rpi1) buster-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>  Sat, 01 Sep 2018 21:05:38 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Mon, 03 Dec 2018 15:30:28 +0000
++
+ supermin (5.1.19-4) unstable; urgency=medium
+ 
+   * Add Recommends for linux-image packages (Closes: #914413)
+   * Bump Standards-Version
+ 
+  -- Hilko Bengen <bengen@debian.org>  Mon, 26 Nov 2018 22:25:08 +0100
  
  supermin (5.1.19-3) unstable; urgency=medium
  

diff --cc debian/control
Simple merge