diff --git a/debian/changelog b/debian/changelog
index 74879aaac..0b35eeae3 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -50,6 +50,7 @@ linux (4.19.5-1~exp1) experimental; urgency=medium
 
   [ Marcin Juszkiewicz ]
   * [arm64] Enable ACPI IMPI
+  * [arm64] Enable IMPI watchdog and power off support
   * [arm64] Enable PCI Express hotplug
   * [arm64] Enable PMU for several server cpus
 
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 043405c39..51de5810b 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -133,6 +133,8 @@ CONFIG_HW_RANDOM_CAVIUM=m
 CONFIG_IPMI_HANDLER=m
 CONFIG_IPMI_DEVICE_INTERFACE=m
 CONFIG_IPMI_SSIF=m
+CONFIG_IPMI_WATCHDOG=m
+CONFIG_IPMI_POWEROFF=m
 
 ##
 ## file: drivers/clk/Kconfig