problems packaging kernel

[Ralf Mardorf]

On Mon, 8 Jul 2019 14:59:43 +0200, Hajo Locke wrote:
>3.16 - still maintained

It still maintained by Debian, since it's a longterm kernel, see
https://www.kernel.org/:

mainline: 5.2      2019-07-07
stable:   5.1.16   2019-07-03
longterm: 4.19.57  2019-07-03
longterm: 4.14.132 2019-07-03
longterm: 4.9.184  2019-06-27
longterm: 4.4.184  2019-06-27
longterm: 3.16.69  2019-06-20