From 9915166d6d6a73cff9263c247123ada41cb27405 Mon Sep 17 00:00:00 2001
From: Marcin Juszkiewicz <marcin.juszkiewicz@linaro.org>
Date: Mon, 26 Nov 2018 12:36:29 +0100
Subject: [PATCH] config/arm64: enable IPMI watchdog and power off

---
 debian/changelog           | 1 +
 debian/config/arm64/config | 2 ++
 2 files changed, 3 insertions(+)

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