# grep -i xen /boot/config-3.2.0-3-amd64
CONFIG_XEN=y
CONFIG_XEN_DOM0=y
CONFIG_XEN_PRIVILEGED_GUEST=y
CONFIG_XEN_PVHVM=y
CONFIG_XEN_MAX_DOMAIN_MEMORY=128
CONFIG_XEN_SAVE_RESTORE=y
# CONFIG_XEN_DEBUG_FS is not set
CONFIG_PCI_XEN=y
CONFIG_XEN_PCIDEV_FRONTEND=m
CONFIG_XEN_BLKDEV_FRONTEND=m
CONFIG_XEN_BLKDEV_BACKEND=m
CONFIG_NETXEN_NIC=m
CONFIG_XEN_NETDEV_FRONTEND=m
CONFIG_XEN_NETDEV_BACKEND=m
CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
CONFIG_HVC_XEN=y
CONFIG_XEN_WDT=m
CONFIG_XEN_FBDEV_FRONTEND=y
# Xen driver support
CONFIG_XEN_BALLOON=y
# CONFIG_XEN_BALLOON_MEMORY_HOTPLUG is not set
CONFIG_XEN_SCRUB_PAGES=y
CONFIG_XEN_DEV_EVTCHN=m
CONFIG_XEN_BACKEND=y
CONFIG_XENFS=m
CONFIG_XEN_COMPAT_XENFS=y
CONFIG_XEN_SYS_HYPERVISOR=y
CONFIG_XEN_XENBUS_FRONTEND=y
CONFIG_XEN_GNTDEV=m
CONFIG_XEN_GRANT_DEV_ALLOC=m
CONFIG_SWIOTLB_XEN=y
CONFIG_XEN_PCIDEV_BACKEND=m

# dpkg -l | grep xen
ii  libxen-4.1                       4.1.3-2                   amd64        Public libs for Xen
ii  libxenstore3.0                   4.1.3-2                   amd64        Xenstore communications library for Xen
ii  xen-hypervisor-4.1-amd64         4.1.3-2                   amd64        Xen Hypervisor on AMD64
ii  xen-linux-system-3.2.0-3-amd64   3.2.23-1                  amd64        Xen system with Linux 3.2 on 64-bit PCs (meta-package)
ii  xen-system-amd64                 4.1.3-2                   amd64        Xen System on AMD64 (meta-package)
ii  xen-tools                        4.3.1-1                   all          Tools to manage Xen virtual servers
ii  xen-utils-4.1                    4.1.3-2                   amd64        XEN administrative tools
ii  xen-utils-common                 4.1.3-2                   all          Xen administrative tools - common files
ii  xenstore-utils                   4.1.3-2                   amd64        Xenstore utilities for Xen

dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xen

update-grub