diff --git a/debian/changelog b/debian/changelog
index 7c9b02fa2..36513281e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -399,6 +399,7 @@ linux (4.19.20-1) UNRELEASED; urgency=medium
     get really enabled.
   * [arm64] enable PCI_PRI, PCI_PASID as PCI can be behind IOMMU in servers.
   * udeb: Add virtio-gpu into d-i to get graphical output in VM instances.
+  * [arm64] Enable ARM64_ERRATUM_843419 (Closes: #920866)
 
   [ Salvatore Bonaccorso ]
   * [x86] kvmclock: set offset for kvm unstable clock (Closes: #918036)
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 1b10785f6..48cfdfd0d 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -3,8 +3,7 @@
 ##
 CONFIG_PCI=y
 CONFIG_ARM64_ERRATUM_834220=y
-#. Until we decide how/whether to handle this in userland as well
-# CONFIG_ARM64_ERRATUM_843419 is not set
+CONFIG_ARM64_ERRATUM_843419=y
 ## choice: Virtual address space size
 CONFIG_ARM64_VA_BITS_48=y
 ## end choice