diff --git a/debian/changelog b/debian/changelog
index 267e5a4f6..4b56a6861 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -51,6 +51,8 @@ linux (4.14.13-1) UNRELEASED; urgency=medium
 
   [ Ben Hutchings ]
   * abiupdate.py: Add support for security mirrors
+  * Fix dependencies related to objtool (Closes: #886474):
+    - linux-headers: Add versioned dependency on linux-kbuild
 
  -- Salvatore Bonaccorso <carnil@debian.org>  Wed, 10 Jan 2018 09:58:46 +0100
 
diff --git a/debian/templates/control.headers.in b/debian/templates/control.headers.in
index 38f703411..1f6739589 100644
--- a/debian/templates/control.headers.in
+++ b/debian/templates/control.headers.in
@@ -1,6 +1,6 @@
 Package: linux-headers-@abiname@@localversion@
 Build-Profiles: <!stage1>
-Depends: linux-headers-@abiname@-common@localversion_headers@ (= ${source:Version}), linux-kbuild-@version@, ${misc:Depends}
+Depends: linux-headers-@abiname@-common@localversion_headers@ (= ${source:Version}), linux-kbuild-@version@ (>= 4.14.12-2~), ${misc:Depends}
 Description: Header files for Linux @abiname@@localversion@
  This package provides the architecture-specific kernel header files
  for Linux kernel @abiname@@localversion@, generally