diff --git a/debian/config/config b/debian/config/config
index 71c244479..e37eaa11e 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -2931,6 +2931,7 @@ CONFIG_N_GSM=m
 ## file: drivers/tty/hvc/Kconfig
 ##
 CONFIG_HVC_XEN=y
+CONFIG_HVC_XEN_FRONTEND=y
 
 ##
 ## file: drivers/tty/serial/Kconfig
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 70a515ed9..ab5dc6b20 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1559,6 +1559,11 @@ CONFIG_PCIPCWATCHDOG=m
 CONFIG_WDTPCI=m
 CONFIG_USBPCWATCHDOG=m
 
+##
+## file: drivers/xen/Kconfig
+##
+CONFIG_XEN_ACPI_PROCESSOR=m
+
 ##
 ## file: fs/proc/Kconfig
 ##