diff --git a/debian/changelog b/debian/changelog
index b4639c773..ac606b3dd 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,11 @@ linux (4.14.12-2) UNRELEASED; urgency=medium
   * linux-kbuild: Add objtool
   * linux-headers: Add symlink to linux-kbuild tools directory for objtool
 
+  [ Salvatore Bonaccorso ]
+  * linux-headers: Add symlink to linux-kbuild tools directory for objtool in
+    architecture-specific headers package.
+    Thanks to Luca Boccassi (Closes: #886366)
+
  -- Salvatore Bonaccorso <carnil@debian.org>  Sat, 06 Jan 2018 07:37:50 +0100
 
 linux (4.14.12-1) unstable; urgency=medium
diff --git a/debian/rules.real b/debian/rules.real
index b3b9ed92d..8a397b515 100644
--- a/debian/rules.real
+++ b/debian/rules.real
@@ -348,6 +348,7 @@ install-headers_$(ARCH)_$(FEATURESET)_$(FLAVOUR): $(STAMPS_DIR)/build_$(ARCH)_$(
 	@echo '	@:' >> $(DIR)/Makefile
 
 	dh_link /usr/lib/$(PACKAGE_NAME_KBUILD)/scripts $(BASE_DIR)/scripts
+	dh_link /usr/lib/$(PACKAGE_NAME_KBUILD)/tools $(BASE_DIR)/tools
 
 	mkdir -p $(PACKAGE_DIR)/lib/modules/$(REAL_VERSION)
 	ln -s /usr/src/$(PACKAGE_NAME) $(PACKAGE_DIR)/lib/modules/$(REAL_VERSION)/build