diff --git a/debian/changelog b/debian/changelog
index 1512fc73d..2573f647f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -48,6 +48,13 @@ 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
+  * [arm64] Enable IMPI watchdog and power off support
+  * [arm64] Enable PCI Express hotplug
+  * [arm64] Enable PMU for several server cpus
+  * [arm64] Enable HiSilicon LPC for serial/ipmi access
+
  -- 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..65c8e828c 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
@@ -113,6 +114,7 @@ CONFIG_BT_QCOMSMD=m
 ##
 ## file: drivers/bus/Kconfig
 ##
+CONFIG_HISILICON_LPC=y
 CONFIG_QCOM_EBI2=y
 CONFIG_TEGRA_ACONNECT=y
 
@@ -132,6 +134,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
@@ -708,6 +712,22 @@ CONFIG_PCIE_QCOM=y
 CONFIG_PCIE_ARMADA_8K=y
 CONFIG_PCIE_KIRIN=y
 
+##
+## file: drivers/pci/pcie/Kconfig
+##
+CONFIG_HOTPLUG_PCI_PCIE=y
+
+##
+## file: drivers/perf/Kconfig
+##
+CONFIG_ARM_CCI400_PMU=y
+CONFIG_ARM_CCI5xx_PMU=y
+CONFIG_ARM_CCN=y
+CONFIG_HISI_PMU=y
+CONFIG_QCOM_L2_PMU=y
+CONFIG_QCOM_L3_PMU=y
+CONFIG_XGENE_PMU=y
+
 ##
 ## file: drivers/pci/hotplug/Kconfig
 ##