diff --git a/build/config/common b/build/config/common
index 7683ceeba..bb2348273 100644
--- a/build/config/common
+++ b/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
diff --git a/debian/changelog b/debian/changelog
index eb29f0232..854a5f36d 100644
--- a/debian/changelog
+++ b/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