diff --git a/debian.master/config/annotations b/debian.master/config/annotations index 100c4ea43505..c39694603eca 100644 --- a/debian.master/config/annotations +++ b/debian.master/config/annotations @@ -10497,7 +10497,7 @@ CONFIG_XEN_SYMS policy<{'amd64': 'y'}> CONFIG_XEN_UNPOPULATED_ALLOC policy<{'amd64': 'y', 'arm64': 'y'}> CONFIG_XEN_VIRTIO policy<{'amd64': 'y', 'arm64': 'y'}> # -CONFIG_XEN_ACPI_PROCESSOR mark +CONFIG_XEN_ACPI_PROCESSOR mark note # Menu: Device Drivers >> Xen driver support >> Backend driver support CONFIG_XEN_BACKEND policy<{'amd64': 'y', 'arm64': 'y', 'armhf': '-'}>