Maximilian Luz 1d42263e98 Add extra Debian kernel options ... These options are in upstream Debian and Ubuntu configs, but not in the Ubuntu PPA. Add them.		2020-04-20 18:16:36 +02:00
..
kernel	Add extra Debian kernel options	2020-04-20 18:16:36 +02:00
kernel-lts	fixup! Update Debian kernel to 5.6	2020-04-03 01:26:53 +02:00