diff --git a/debian/changelog b/debian/changelog
index 1512fc73d..15d508f70 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -48,6 +48,9 @@ linux (4.19.5-1~exp1) experimental; urgency=medium
   * [x86] Enable DisplayPort CEC-Tunneling-over-AUX HDMI support
     (Closes: #913199)
 
+  [ Marcin Juszkiewicz ]
+  * [arm64] Enable ACPI IMPI
+
  -- Bastian Blank <waldi@debian.org>  Tue, 27 Nov 2018 20:06:42 +0100
 
 linux (4.19~rc7-1~exp1) experimental; urgency=medium
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 4b0ed9f1d..9657d4c87 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -68,6 +68,7 @@ CONFIG_ARCH_XGENE=y
 ## file: drivers/acpi/Kconfig
 ##
 CONFIG_ACPI=y
+CONFIG_ACPI_IPMI=m
 CONFIG_ACPI_SPCR_TABLE=y
 CONFIG_ACPI_NUMA=y
 CONFIG_ACPI_PCI_SLOT=y