set kernel abi to 4.9.0-9

build/config/common

@@ -11,7 +11,7 @@
 
 # Default kernel ABI version to use. Append a kernel flavour to
 # produce KERNELVERSION.
-LINUX_KERNEL_ABI ?= 4.9.0-8
+LINUX_KERNEL_ABI ?= 4.9.0-9
 
 # Always "di" these days
 KERNEL_FLAVOUR ?= di

debian/changelog

@@ -1,3 +1,9 @@
+debian-installer (20190508+devuan1) ascii; urgency=medium
+
+  * set kernel abi to 4.9.0-9
+
+ -- Vincenzo (KatolaZ) Nicosia <katolaz@freaknet.org>  Wed, 08 May 2019 17:37:32 +0100
+
 debian-installer (20190228+devuan1) ascii; urgency=medium
 
   * bump version